On the Transformational Implementation Approach to Programming

@inproceedings{Balzer-al:ICSE76,
  author    = {Robert Balzer and
               Neil M. Goldman and
               David S. Wile},
  title     = {On the Transformational Implementation Approach to Programming},
  booktitle = {ICSE},
  pages     = {337--344},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}