Recursive function theory and logic - Yasuhara, Ann (Computer science and applied mathematics, 1971)