call-by-value and the -calculus (1975)

by Plotkin G Call-by-name
Venue:Theoretical Computer Science