Software Architecture Transformations by Hoda Fahmy and Richard C. Holt

Restructuring Program Identifier Names by Bruno Caprile and Paolo Tonella

The Application of Correctness Preserving Transformations to Software Maintenance by J. Paul Gibson, Thomas F. Dowling and Brian A. Malloy