Manna, Zohar and Waldinger, Richard "A Deductive Approach to Program Synthesis" ACM Transactions on Programming Languages and Systems (TOPLAS) vol2(1) January 1980 pp 90-121 1980

Languages mentioned

• Manna and Waldinger 1971 {1971}