Minimal DFA for testing divisibility
scientific article; zbMATH DE number 2104536