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