Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.