The Automatic Synthesis of Systems of Recursive Programs

Manna and Waldinger. "The Automatic Synthesis of Systems of Recursive Programs." International Joint Conference on Artificial Intelligence, 1977.

[Manna and Waldinger. "The Automatic Synthesis of Systems of Recursive Programs." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/manna1977ijcai-automatic/)

@inproceedings{manna1977ijcai-automatic,
  title     = {{The Automatic Synthesis of Systems of Recursive Programs}},
  author    = {Manna, Zohar and Waldinger, Richard J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {405-411},
  url       = {https://mlanthology.org/ijcai/1977/manna1977ijcai-automatic/}
}