Some Theorems on Graph Congruences

[1]  Robert Knast,et al.  A Semigroup Characterization of Dot-Depth one Languages , 1983, RAIRO Theor. Informatics Appl..

[2]  Imre Simon,et al.  Piecewise testable events , 1975, Automata Theory and Formal Languages.

[3]  Janusz A. Brzozowski,et al.  Characterizations of locally testable events , 1973, Discret. Math..