TY - BOOK AU - Rohl J S TI - Recursion via pascal SN - 0-521-26329-8 U1 - 005.131 PY - 1984/// CY - Cambridge PB - C U P KW - PASCAL KW - Programming languages KW - Recursion theory ER -