Formal Specification and Automatic Programming

@inproceedings{Jazayeri:ICSE76,
  author    = {Mehdi Jazayeri},
  title     = {Formal Specification and Automatic Programming},
  booktitle = {ICSE},
  pages     = {293--296},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}