1. A. Aho, J. Hopcroft, J. Ulman, The Design and Analisys of Computer Algorithms, Addison-Wesley, 1974.
2. D. Belostotski, D. Kravtsov, A. Shemshurenko, M. Sobol, A.N. Trahtman, Sh. Yakov, A package for checking some kinds of testability. 6-th Int. Conf. on Impl. and Appl. of Automata, CIAA2001, Pretoria, 2001.
3. J.-C. Birget, Strict local testability of the finite control of two-way automata and of regular picture description languages, J. of Alg. Comp. 1, 2(1991), 161–175.
4. A.P. Biryukov, Varieties of idempotent semigroups, Algebra i logika, 9, 3(1970), 255–273.
5. J.A. Brzozowski, I. Simon, Characterizations of locally testable events, Discrete Math. 4, (1973), 243–271.