1. Turchin, V.F.: The Phenomenon of Science. Columbia University Press, New York (1977)
2. Glück, R., Klimov, A.: Metacomputation as a Tool for Formal Linguistic Modeling. In: Cybernetics and Systems 1994, pp. 1563–1570. World Scientific (1994)
3. Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. Systems, Computers, Controls 2(5), 45–50 (1971)
4. Romanenko, A.Y.: Inversion and metacomputation. In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 12–22. ACM Press (1991)
5. Turchin, V.F.: The concept of a supercompiler. ACM Transactions on Programming Languages and Systems (TOPLAS) 8(3), 292–325 (1986)