Author: Symposium on Generalized Recursion Theory, Oslo 1972