Gerald E. Sacks. Recursion in objects of finite type. Actes du Congrès International des Mathématiciens 1970 , Gauthier-Villars, Paris 1971, Vol. 1, pp. 251–254.