Minimal and optimal computations of recursive programs (1979)

by G Berry, J-J L6vy
Venue:J. ACM