@misc{indiciae94722077c0f4,
  title = {Toward automatic program synthesis},
  author = {Manna, Z. and Waldinger, R. J.},
  year = {1971},
  url = {https://ntrs.nasa.gov/citations/19710043271},
  note = {Source identifier: 19710043271}
}