Recursive functions.-3rd ed. - Peter, Rozsa (Academic press, 1967)