@inproceedings(BHK17a,
 author       = {S. Beier and M. Holzer and M. Kutrib},
 year         = {2017},
 title        = {Operational State Complexity and Decidability of Jumping Finite Automata},
 booktitle    = {Proceedings DLT},
 series       = {LNCS},
 volume       = {10396},
 publisher    = {Springer},
 pages        = {96--108},
 doi          = {10.1007/978-3-319-62809-7_6},
)
@inproceedings(ChHa16,
 author       = {D. Chistikov and Ch. Haase},
 year         = {2016},
 title        = {The Taming of the Semi-Linear Set},
 booktitle    = {Proceedings ICALP},
 series       = {LIPIcs},
 volume       = {55},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik, Dagstuhl, Germany},
 pages        = {128:1--128:13},
 doi          = {10.4230/LIPIcs.ICALP.2016.128},
)
@article(Di13,
 author       = {L. E. Dickson},
 year         = {1913},
 title        = {Finiteness of the odd perfect and primitive abundant numbers with~$n$ distinct prime factors},
 journal      = {American J. Math.},
 volume       = {35},
 number       = {4},
 pages        = {413--422},
 doi          = {10.2307/2370405 },
)
@article(GaSi78,
 author       = {J. von zur Gathen and M. Sieveking},
 year         = {1978},
 title        = {A bound on solutions of linear integer equalities and inequalities},
 journal      = {Proc. Am. Math. Soc.},
 volume       = {72},
 pages        = {155--158},
 doi          = {10.1090/S0002-9939-1978-0500555-0},
)
@article(GiSp64,
 author       = {S. Ginsburg and E. H. Spanier},
 year         = {1964},
 title        = {Bounded {ALGOL}-like languages},
 journal      = {Trans. AMS},
 volume       = {113},
 pages        = {333--368},
 doi          = {10.2307/1994067},
)
@article(GiSp66,
 author       = {S. Ginsburg and E. H. Spanier},
 year         = {1966},
 title        = {Finite-Turn Pushdown Automata},
 journal      = {SIAM J. Comput.},
 volume       = {4},
 pages        = {429--453},
 doi          = {10.1137/0304034},
)
@inproceedings(Hu80,
 author       = {T.-D. Huynh},
 year         = {1980},
 title        = {The complexity of semilinear sets},
 booktitle    = {Proceedings ICALP},
 series       = {LNCS},
 volume       = {85},
 publisher    = {Springer},
 pages        = {324--337},
 doi          = {10.1007/3-540-10003-2_81},
)
@article(LPS13,
 author       = {G. J. Lavado and G. Pighizzini and S. Seki},
 year         = {2013},
 title        = {Converting nondeterministic automata and context-free grammars into {P}arikh equivalent one-way and two-way deterministic automata},
 journal      = {Inform. Comput.},
 volume       = {228--229},
 pages        = {1--15},
 doi          = {10.1016/j.ic.2013.06.003},
)
@inproceedings(LPS14,
 author       = {G. J. Lavado and G. Pighizzini and S. Seki},
 year         = {2014},
 title        = {Operational State Complexity under {P}arikh Equivalence},
 booktitle    = {Proceedings DCFS},
 series       = {LNCS},
 volume       = {8614},
 publisher    = {Springer},
 pages        = {294--305},
 doi          = { 10.1007/978-3-319-09704-6_26},
)
@article(MeZe12,
 author       = {A. Meduna and P. Zemek},
 year         = {2012},
 title        = {Jumping Finite Automata},
 journal      = {Internat. J. Found. Comput. Sci.},
 volume       = {23},
 pages        = {1555--1578},
 doi          = {10.1142/S0129054112500244},
)
@article(Pa66,
 author       = {R. J. Parikh},
 year         = {1966},
 title        = {On Context-Free Languages},
 journal      = {J. ACM},
 volume       = {13},
 pages        = {570--581},
 doi          = {10.1145/321356.321364},
)