The first example of a recursive function which is not primitive recursive
scientific article; zbMATH DE number 3663110