Minimal and optimal computations of recursive programs (1977)

by G Berry, J-J Lévy
Venue:In Fourth ACM Symposium on Principles of Programming Languages