Call by name, assignment and the lambda calculus (1993)

by M Odersky, D Rabin, P Hudak
Venue:In Twentieth Ann. ACM Symp. on Princ. of Program. Lang. ACM