Imre Simon: Piecewise testable events. Automata Theory and Formal Languages 1975: 214-222