Introduction,recursion,and programming - Wand Mitchell (N Y North Holland, 1980)
Keywords: Computer programming; Recursion theory