1. Chr. Blatter et E. Specker, Le nombre de structures finies d'une théorie à caractère fini, Sciences Mathématiques, Fonds National de la Recherche Scientifique, Bruxelles 1981, 41–44
2. Chr. Blatter and E. Specker, Modular periodicity of combinatorial sequences, Abstracts Am. Math. Soc. 4 (1983), 313
3. A. Ehrenfeucht, Application of games to some problem of mathematical logic, Bull. Acad. Pol., Cl. III, 5 (1957), 35–37
4. R. Fraïssé, Sur quelques classifications des systèmes de relations, Publ. Sci. Univ. Alger Ser. A, 1 (1954), 35–182
5. I.M. Gessel, Combinatorial proofs of congruences, preprint