1. 1. BARENDREGT H. P., The Lambda-Calculus, Its Syntax and Semantics, North-Holland P.C. 1981.6229120467.03010
2. 2. BEKIĆ H., Definable Operations in General Algebras, and the Theory of Automata and Flowcharts, Research Report, I.B.M. Laboratory, Vienna, 1969.
3. 3. DAMM W., FEHR E. and INDERMARK K., Higher type recursion and self-application as control structures, in: E. NEUHOLD, Ed., Formal Description of Programming Concepts, North-Holland, Amsterdam, 1978, pp. 461-487.5379170373.68021
4. 4. DAMM W., The 10- and OI-hierarchies, Theoret. Comput. Sc., 20, 1982, 2, pp. 95-208.6665440478.68012
5. 5. GUESSARIAN I., Algebraic Semantics, Lecture Notes in Computer Science, 99, 1981.6179080474.68010