Blum Manuel. Recursive function theory and speed of computation. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 9 (1966), pp. 745–750.