1. Lecture Notes in Computer Science;M. Barra,2008
2. Clote, P.: Computation Models and Function Algebra. In: Handbook of Computability Theory. Elsevier, Amsterdam (1996)
3. Enderton, H.B.: A mathematical introduction to logic. Academic Press, Inc., San Diego (1972)
4. Grzegorczyk, A.: Some classes of recursive functions, in Rozprawy Matematyczne, No. IV, Warszawa (1953)
5. Jones, N.D.: LOGSPACE and PTIME characterized by programming languages. In: Theoretical Computer Science, vol. 228, pp. 151–174 (1999)