TY  - RPRT
TI  - Toward automatic program synthesis
AU  - Manna, Z.
AU  - Waldinger, R. J.
PY  - 1971
UR  - https://ntrs.nasa.gov/citations/19710043271
ID  - 19710043271
ER  -