@inproceedings(DBLP:conf/fics/BloomE09,
 author       = {Stephen L. Bloom and Zolt{\'{a}}n {\'{E}}sik},
 year         = {2009},
 title        = {Scattered Algebraic Linear Orderings},
 booktitle    = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra, Portugal, September 12-13, 2009.},
 pages        = {25--29},
)
@article(DBLP:journals/fuin/BloomE10,
 author       = {Stephen L. Bloom and Zolt{\'{a}}n {\'{E}}sik},
 year         = {2010},
 title        = {Algebraic Ordinals},
 journal      = {Fundam. Inform.},
 volume       = {99},
 number       = {4},
 pages        = {383--407},
 doi          = {10.3233/FI-2010-255},
)
@article(BLOOM200555,
 author       = {Stephen L. Bloom and \IeC{\'E}sik, Zolt\IeC{\'a}n},
 year         = {2005},
 title        = {The equational theory of regular words},
 journal      = {Information and Computation},
 volume       = {197},
 number       = {1},
 pages        = {55 -- 89},
 doi          = {10.1016/j.ic.2005.01.004},
)
@article(doi:10.1142/S0129054111008155,
 author       = {Stephen L. Bloom and \IeC{\'E}sik, Zolt\IeC{\'a}n},
 year         = {2011},
 title        = {Algebraic linear orderings},
 journal      = {International Journal of Foundations of Computer Science},
 volume       = {22},
 number       = {02},
 pages        = {491--515},
 doi          = {10.1142/S0129054111008155},
)
@article(COURCELLE198395,
 author       = {Bruno Courcelle},
 year         = {1983},
 title        = {Fundamental properties of infinite trees},
 journal      = {Theoretical Computer Science},
 volume       = {25},
 number       = {2},
 pages        = {95 -- 169},
 doi          = {10.1016/0304-3975(83)90059-2},
)
@inproceedings(10.1007/978-3-642-22321-1_19,
 author       = {Zolt{\'a}n {\'E}sik},
 year         = {2011},
 title        = {Scattered Context-Free Linear Orderings},
 editor       = {Giancarlo Mauri and Alberto Leporati},
 booktitle    = {Developments in Language Theory},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {216--227},
 doi          = {10.1017/CBO9780511566097},
)
@article(ESIK2011107,
 author       = {Zolt\'an \'Esik},
 year         = {2011},
 title        = {An undecidable property of context-free linear orders},
 journal      = {Information Processing Letters},
 volume       = {111},
 number       = {3},
 pages        = {107 -- 109},
 doi          = {10.1016/j.ipl.2010.10.018},
)
@inproceedings(10.1007/978-3-642-29344-3_25,
 author       = {Zolt{\'a}n {\'E}sik and Szabolcs Iv{\'a}n},
 year         = {2012},
 title        = {Hausdorff Rank of Scattered Context-Free Linear Orders},
 editor       = {Fern{\'a}ndez-Baca, David},
 booktitle    = {LATIN 2012: Theoretical Informatics},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {291--302},
 doi          = {10.1112/plms/s3-4.1.177},
)
@article(GelleIvanTCS,
 author       = {Kitti Gelle and Szabolcs Iv\'an},
 title        = {The ordinal generated by an ordinal grammar is computable},
 journal      = {Theoretical Computer Science},
 doi          = {10.1016/j.tcs.2019.04.016},
 url          = {https://arxiv.org/abs/1811.03595},
 note         = {To appear.},
)
@article(ITA_1980__14_2_131_0,
 author       = {Stephan Heilbrunner},
 year         = {1980},
 title        = {An algorithm for the solution of fixed-point equations for infinite words},
 journal      = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
 volume       = {14},
 number       = {2},
 pages        = {131--141},
 doi          = {10.1051/ita/1980140201311},
)
@book(Hopcroft+Ullman/79/Introduction,
 author       = {John E. Hopcroft and Jeff D. Ullman},
 year         = {1979},
 title        = {Introduction to Automata Theory, Languages, and Computation},
 publisher    = {Addison-Wesley Publishing Company},
)
@book(books/daglib/0072413,
 author       = {Christos H. Papadimitriou},
 year         = {1994},
 title        = {Computational complexity.},
 publisher    = {Addison-Wesley},
)
@book(rosenstein,
 author       = {J.G. Rosenstein},
 year         = {1982},
 title        = {Linear Orderings},
 series       = {Pure and Applied Mathematics},
 publisher    = {Elsevier Science},
)
@misc(jalex,
 author       = {Jacob Alexander Stark},
 year         = {2015},
 title        = {Ordinal Arithmetic},
 url          = {https://jalexstark.com/notes/OrdinalArithmetic.pdf},
)
@article(DBLP:journals/ita/Thomas86,
 author       = {Wolfgang Thomas},
 year         = {1986},
 title        = {On Frontiers of Regular Trees},
 journal      = {{ITA}},
 volume       = {20},
 number       = {4},
 pages        = {371--381},
 doi          = {10.1051/ita/1986200403711},
)