Recursion via pascal - Rohl J S (Cambridge C U P, 1984)
Keywords: PASCAL; Programming languages; Recursion theory