Manna, Zohar and Waldinger, Richard "Synthesis: dreams of programs", iEEE Trans. Sofiw. Eng. SE-5, 4 (July 1979), 294-328.
(1979)
Languages mentioned
Manna and Waldinger 1971
{1971}