Recursive functions in computer theory - Peter, Rozsa (Ellis Horwood limited, 1981)