Fundamentals of deductive program synthesis (1992)

by Z Manna
Venue:IEEE Transactions on Software Engineering