1. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson. Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. J. Funct. Program., 7(3):321–347, 1997.
2. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 2007.
3. Hendrik Pieter Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North Holland, Amsterdam, 1984. Revised edition.
4. Rod M. Burstall, John Darlington. A Transformation System for Developing Recursive Programs . J. ACM, 24(1):44–67, 1977.
5. Geoffrey L. Burn, Chris Hankin, Samson Abramsky. Strictness Analysis for Higher-Order Functions . Sci. Comput. Program., 7(3):249–278, 1986.