by Name, Assignment, and the Lambda Calculus, proc (1993)

by D Rabin M Odersky, Call P Hudak
Venue:ACM Principles of Programming Languages 93, Charlston, N.Carolina