Formal study of functional orbits in finite domains
scientific article; zbMATH DE number 6380850
scientific article