The Synthesis of Structure Changing Programs

@inproceedings{Manna-Waldinger:ICSE78,
  author    = {Zohar Manna and
               Richard J. Waldinger},
  title     = {The Synthesis of Structure Changing Programs},
  booktitle = {ICSE},
  pages     = {175--187},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}