The optimal approach to recursive programs (1977)

by Z Manna, A Shamir
Venue:Communications of the ACM