@book(berstel:transductions,
 author       = {Jean Berstel},
 year         = {1979},
 title        = {Transductions and Context-free Languages},
 publisher    = {Teubner},
 address      = {Stuttgart},
 doi          = {10.1007/978-3-663-09367-1},
)
@article(fernau:iterated,
 author       = {Henning Bordihn and Henning Fernau and Markus Holzer and Vincenzo Manca and Mart\'{\i}n-Vide, Carlos},
 year         = {2006},
 title        = {Iterated sequential transducers as language generating devices},
 journal      = {Theor. Comput. Sci.},
 volume       = {369},
 number       = {1-3},
 pages        = {67--81},
 doi          = {10.1016/j.tcs.2006.07.059},
)
@book(burris,
 author       = {Stanley Burris and H. P. Sankappanavar},
 year         = {1981},
 title        = {A Course in Universal Algebra},
 series       = {Graduate Texts in Mathematics},
 volume       = {78},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4613-8130-3\_7},
)
@article(caucal:prefix,
 author       = {Didier Caucal},
 year         = {1992},
 title        = {On the Regular Structure of Prefix Rewriting},
 journal      = {Theor. Comput. Sci.},
 volume       = {106},
 number       = {1},
 pages        = {61--86},
 doi          = {10.1016/0304-3975(92)90278-N},
)
@article(caucal:decidable,
 author       = {Didier Caucal},
 year         = {2003},
 title        = {On infinite transition graphs having a decidable monadic theory},
 journal      = {Theor. Comput. Sci.},
 volume       = {290},
 number       = {1},
 pages        = {79--115},
 doi          = {10.1016/S0304-3975(01)00089-5},
)
@article(caucal:turing,
 author       = {Didier Caucal},
 year         = {2003},
 title        = {On the transition graphs of turing machines},
 journal      = {Theor. Comput. Sci.},
 volume       = {296},
 number       = {2},
 pages        = {195--223},
 doi          = {10.1016/S0304-3975(02)00655-2},
)
@book(modelchecking,
 author       = {Edmund M. Clarke and Orna Grumberg and Doron Peled},
 year         = {2004},
 title        = {Model checking},
 edition      = {5. print.},
 publisher    = {MIT Press},
 address      = {Cambridge, Mass. [u.a.]},
)
@article(courcelle:automata,
 author       = {Bruno Courcelle and Ir{\`e}ne Durand},
 year         = {2012},
 title        = {Automata for the verification of monadic second-order graph properties},
 journal      = {J. Applied Logic},
 volume       = {10},
 number       = {4},
 pages        = {368--409},
 doi          = {10.1016/j.jal.2011.07.001},
)
@unpublished(pierce:iterated,
 author       = {Alan Pierce},
 year         = {2011},
 title        = {Decision Problems on Iterated Length-Preserving Transducers},
 note         = {Unpublished manuscript},
)
@article(rispal:synchronized,
 author       = {Chloe Rispal},
 year         = {2002},
 title        = {The synchronized graphs trace the context-sensitive languages},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {68},
 number       = {6},
 pages        = {55--70},
 doi          = {10.1016/S1571-0661(04)80533-4},
)
@article(rubin:automata,
 author       = {Sasha Rubin},
 year         = {2008},
 title        = {Automata Presenting Structures: A Survey of the Finite String Case},
 journal      = {Bulletin of Symbolic Logic},
 volume       = {14},
 number       = {2},
 pages        = {169--209},
 doi          = {10.2178/bsl/1208442827},
)
@inproceedings(thomas:infinite,
 author       = {Wolfgang Thomas},
 year         = {2001},
 title        = {A Short Introduction to Infinite Automata},
 editor       = {Werner Kuich and Grzegorz Rozenberg and Arto Salomaa},
 booktitle    = {Developments in Language Theory},
 series       = {Lecture Notes in Computer Science},
 volume       = {2295},
 publisher    = {Springer},
 pages        = {130--144},
 doi          = {10.1007/3-540-46011-X\_10},
)
@article(weir:control,
 author       = {David J. Weir},
 year         = {1992},
 title        = {A Geometric Hierarchy Beyond Context-Free Languages},
 journal      = {Theor. Comput. Sci.},
 volume       = {104},
 number       = {2},
 pages        = {235--261},
 doi          = {10.1016/0304-3975(92)90124-X},
)