The AMES approach to application understanding: a case study. - Cornelia Boldyreff; Elizabeth Burd; R. M. Hather; Richard Eric Mortimer; Malcolm Munro; E. J. Younger (ICSM, 1995)

Maintenance and abstraction of program data using formal transformations. - Richard Eric Mortimer; Keith H. Bennett (ICSM, 1996)

Data re-engineering using formal transformations. - Richard Eric Mortimer (1998)