Call-by-name, call-by-value, and the lambda calculus (1975)

by Gordon Plotkin
Venue:PLT. PLT Scheme. URL http://plt-scheme.org