call-by-value and the lambda calculus (1977)

by Call-by-name
Venue:TCS