Call-by-name, call-by-value and the λ-calculus. Theoretical computer science (1975)

by G D Plotkin