1. Kowalski R. Algorithm=Logic+control.Communications of the ACM, 1979,22 (7): 424–436.
2. Lloyd J W.Foundations of Logic Programming. Second, Extended Eedition. Berlin, Heidelberg, New York, Springer-Verlag, 1987.
3. Glück R, Klimov A V. Metacomputation as a Tool for Formal Linguistic Modeling. In: Trappl R, ed.Cybernetics and Systems ’94, volume 2, World Scientific, 1994. 1563–1570.
4. Abramov S M Glück R. Semantics Modifiers: An Approach to Non-Sstandard Semantics of Programming Languages. In: Sato M, Toyama Y, eds.Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan: World Scientific. 1998. 247–270.
5. Futamura Y. Partial Evaluation of Computing Process-An Approach to a Compiler-Compiler.Systems, Computers, Controls, 1971,2 (5): 45–50.