1. Anderson, T., Loftus, J., Rampersad, N., Santean, N., Shallit, J.: Detecting palindromes, patterns and borders in regular languages. Inf. Comp. 207, 1096–1118 (2009)
2. Courcelle, B.: The expression of graph properties and graph transformations in Monadic Second-Order Logic. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformations, Vol. 1: Foundations, pp. 313–400. World Scientific (1997)
3. Courcelle, B., Engelfriet, J.: Graph Structure and Monadic Second-Order Logic -A Language-Theoretic Approach, Encyclopedia of Mathematics and Its Applications, vol. 138. Cambridge University Press, Cambridge (2012)
4. Diekert, V., Fernau, H., Wolf, P.: Properties of graphs specified by a regular language. arXiv eprints arXiv:2105.00436 (2021)
5. Eilenberg, S.: Automata, Languages, and Machines, vol. A. Academic Press, Cambridge (1974)