Ésik, Z., & Kuich, W. (2012). Modern Automata Theory. https://doi.org/10.34726/2481 ( reposiTUm)