A class of recursive permutations which is primitive recursive complete
scientific article; zbMATH DE number 7191316
scientific article