The Application of Correctness Preserving Transformations to Software Maintenance. - J. Paul Gibson; Thomas F. Dowling; Brian A. Malloy (ICSM, 2000)