Recursive functions in computer theory - Peter Rozsa (1981)