Recursive function theory and logic - Yasuhara, Ann (Acad. Press, 1971)