Wainer, S. and Buchholz, Wilfried (1987): Provably computable functions and the fast growing hierarchy. In: Simpson, Stephen G. (ed.) , Contemporary Mathematics. Vol. 65. Providence, RI: . pp. 179-198