A System for Program Refinement

@inproceedings{Cheatham-al:ICSE79,
  author    = {Thomas E. Cheatham Jr. and
               Judy A. Townley and
               Glenn H. Holloway},
  title     = {A System for Program Refinement},
  booktitle = {ICSE},
  pages     = {53--62},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}