Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, K. (1974). Polynomial and abstract subrecursive classes. Ithaca, NY, USA: IEEE.