1. Appel, A.W.: Compiling with Continuations. Cambridge University Press, Cambridge (1992)
2. Felleisen, M., Friedman, D.P.: Control operators, the SECD-machine, and the $$\lambda $$-calculus. In: Wirsing, M. (ed.) Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25–28 August 1986, pp. 193–222. North-Holland (1987)
3. Fischer, M.J.: Lambda calculus schemata. In: Proceedings of ACM Conference on Proving Assertions About Programs, 6–7 January 1972, Las Cruces, New Mexico, USA, pp. 104–109. ACM (1972)
4. Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The essence of compiling with continuations. SIGPLAN Not. 28(6), 237–247 (1993)
5. Lecture Notes in Computer Science;K Germane,2019