Erik Crank Matthias Felleisen Parameter-Passing and the Lambda Calculus. 233-244 1991 conf/popl/1991 POPL db/conf/popl/popl91.html#CrankF91 http://doi.acm.org/10.1145/99583.99616