Parameter-Passing and the Lambda Calculus. - Erik Crank; Matthias Felleisen (POPL, 1991)