The optimal approach to recursive programs (1977)

by Zohar Manna, Adi Shamir
Venue:Communications of the ACM