Call by Name, Assignment, and the Lambda Calculus. - Martin Odersky; Dan Rabin; Paul Hudak (POPL, 1993)