Richard E. Mortimer, Keith H. Bennett. Maintenance and abstraction of program data using formal transformations. In 1996 International Conference on Software Maintenance (ICSM 96), 4-8 November 1996, Monterey, CA, USA, Proceedings. pages 301, IEEE Computer Society, 1996. [doi]
Abstract is missing.