1. Aho, A.: Indexed grammar-an extension of context-free grammars. J. ACM 15(4), 647–671 (1968)
2. Lecture Notes in Computer Science;A Carayol,2005
3. Caucal, D.: On infinite transition graphs having a decidable monadic theory. Theor. Comput. Sci. 290, 79–115 (2003)
4. Caucal, D.: Boolean algebras of unambiguous context-free languages. In: Hariharan, R., Mukund, M., Vinay, V. (eds.) 28th FSTTCS, Dagstuhl Research Online Publication Server (2008)
5. Eilenberg, S.: Algèbre catégorique et théorie des automates, Institut H. Poincaré. Université de Paris (1967)