Manna, Zohar; Waldinger, Richard J. "Toward automatic program synthesis", Communications of the ACM, v.14 n.3, p.151-165, March 1971

Languages mentioned

• Manna and Waldinger 1971 {1971}