Adam Fischbach John Hannan Specification and Correctness of Lambda Lifting. 108-128 http://link.springer.de/link/service/series/0558/bibs/1924/19240108.htm 2000 conf/saig/2000 SAIG db/conf/saig/saig2000.html#FischbachH00