An enumeration of the primitive recursive functions without repetition
scientific article; zbMATH DE number 3172710