1. Supercompilation by evaluation
2. Olivier Danvy. 2006. An Analytical Approach to Program as Data Objects. (2006). DSc thesis. Olivier Danvy. 2006. An Analytical Approach to Program as Data Objects. (2006). DSc thesis.
3. ECMA. 2017. ECMAScript 2017 Language Specification (ECMA-262). (June 2017). ECMA. 2017. ECMAScript 2017 Language Specification (ECMA-262). (June 2017).
4. Matthias Felleisen and Daniel P Friedman. 1987. Control Operators the SECD-machine and the λ-calculus. In Formal Description of Programming Concepts III. IFIP. Matthias Felleisen and Daniel P Friedman. 1987. Control Operators the SECD-machine and the λ-calculus. In Formal Description of Programming Concepts III. IFIP.
5. The Essence of JavaScript