1. Two p3 variations of Lucas theorem;Bailey;J. Number Theory,1990
2. Logic and p-recognizable sets of integers;Bruyère;Bull. Belg. Math. Soc.,1994
3. Weak second-order arithmetic and finite automata;Büchi;Zeitschrift für Math. Logic Grun- dlagen Math.,1960
4. A binomial coefficient congruence modulo prime powers;Davis;J. Number Theory,1993
5. Décidabilité par automate fini;Hodgson;Ann. Sci. Math. Québec,1983