Zohar Manna;Richard Waldinger
Stanford Univ., Stanford, CA;SRI International, Menlo Park
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering