The unexpurgated callby -name, assignment, and the lambda-calculus (1993)

by M Odersky, D Rabin