1. On van der Waerden's theorem on arithmetic progressions;Brown;Notices Am. Math. Soc.,1969
2. Characterizations of locally testable events;Brzozowski;Discrete Math.,1973
3. Matrices de Hanke;Fliess;J. Math. Pures Appl.,1974
4. Decidabilité de la finitude des demi-groupes de matrices;Jacob;3rd GI Conference on Theoretical Computer Science, Darmstadt,1977