Program Refinement by Transsformation

@inproceedings{Cheatham-al:ICSE81,
  author    = {Thomas E. Cheatham Jr. and
               Glenn H. Holloway and
               Judy A. Townley},
  title     = {Program Refinement by Transsformation},
  booktitle = {ICSE},
  pages     = {430--438},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}