@INPROCEEDINGS{GibsonDowlingMalloy00,
  author = {Gibson, {J. Paul} and Dowling, {Thomas F. } and Malloy, {Brian A.}},
  title = {The Application of Correctness Preserving Transformations to Software
	Maintenance},
  booktitle = {{ICSM '00: Proceedings of the International Conference on Software
	Maintenance (ICSM'00)}},
  year = {2000},
  pages = {108--119},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  doi ={http://doi.ieeecomputersociety.org/10.1109/ICSM.2000.883025},
  isbn = {0-7695-0753-0}
}