@inproceedings{ICSM-2000-GibsonDM,
	author        = "J. Paul Gibson and Thomas F. Dowling and Brian A. Malloy",
	booktitle     = "{Proceedings of the 16th International Conference on Software Maintenance}",
	ee            = "http://computer.org/proceedings/icsm/0753/07530108abs.htm",
	pages         = "108--None",
	publisher     = "{IEEE Computer Society}",
	title         = "{The Application of Correctness Preserving Transformations to Software Maintenance}",
	year          = 2000,
}