1. Böhm C., Jacopini G. “Flow diagrams, Turing machines and languages with only two formation rules.” Communications of the Association for Computing Machinery, Vol. 9, pp. 366–371. 1966.
2. Bouquard J.L. “Logic programming and Attribute grammars.” Ph.D. Thesis, Orléans 1992.
3. Bratko I. “Prolog Programming for Artificial Intelligence”. Addison-Wesley Publishers limited. 1986.
4. William F. Clocksin and Christopher S. Mellish, “Programming in Prolog”. Springer-Verlag. 1981.
5. Conway J.H. “Unpredictable Iterations.” Proc. 1972 Number Theory Conference. University of Colorado, pp 49–52. 1972.