Recursive functions in computer science - Péter, Rozsa (Akad. Kiado, 1981)