1. Angus, A., Kozen, D.: Kleene algebra with tests and program schematology. Technical Report TR2001-1844, Computer Science Department, Cornell University (2001)
2. Brzozowski, J.A., Simon, I.: Characterizations of locally testable events. Discrete Mathematics 4, 243–271 (1972)
3. Chen, H., Pucella, R.: A coalgebraic approach to Kleene algebra with tests. Theoret. Comput. Sci. 327, 23–44 (2004)
4. Cohen, E.: Hypotheses in Kleene algebra (1994),
ftp://ftp.bellcore.com/pub/ernie/research/homepage.html
5. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Prentice Hall (2006)