↑ Monin, Jean-Francois; Hinchey, M. G. (2003), Understanding Formal Methods, Springer, p. 61, ISBN 9781852332471, There are total functions that cannot be defined by a primitive recursive presentation, but they are not that easy to find.