Author: Symposium on Generalized Recursion Theory University of Oslo 1972.