Mehlhorn, K. (1976). Polynomial and abstract subrecursive classes. Journal of Computer and System Sciences, 12, 147-178.