@article(DBLP:journals/jacm/AlurM09,
 author       = {Rajeev Alur and P. Madhusudan},
 year         = {2009},
 title        = {Adding nesting structure to words},
 journal      = {J. {ACM}},
 volume       = {56},
 number       = {3},
 doi          = {10.1145/1516512.1516518},
)
@book(AroraB09,
 author       = {Sanjeev Arora and Boaz Barak},
 year         = {2009},
 title        = {Computational Complexity--A Modern Approach},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511804090},
)
@inproceedings(conf/fsttcs/AtigG11,
 author       = {Mohamed Faouzi Atig and Pierre Ganty},
 year         = {2011},
 title        = {Approximating Petri Net Reachability Along Context-free Traces},
 booktitle    = {{FSTTCS} 2011},
 series       = {LIPIcs},
 volume       = {13},
 pages        = {152--163},
 doi          = {10.4230/LIPIcs.FSTTCS.2011.152},
)
@article(journals/ipl/EsparzaGKL11,
 author       = {Javier Esparza and Pierre Ganty and Stefan Kiefer and Michael Luttenberger},
 year         = {2011},
 title        = {Parikh's theorem: {A} simple and direct automaton construction},
 journal      = {Inf. Process. Lett.},
 volume       = {111},
 number       = {12},
 pages        = {614--619},
 doi          = {10.1016/j.ipl.2011.03.019},
)
@article(journals/toplas/EsparzaGP14,
 author       = {Javier Esparza and Pierre Ganty and Tom{\'{a}}s Poch},
 year         = {2014},
 title        = {Pattern-Based Verification for Multithreaded Programs},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {36},
 number       = {3},
 pages        = {9:1--9:29},
 doi          = {10.1145/2629644},
)
@inproceedings(conf/dlt/EsparzaKL07,
 author       = {Javier Esparza and Stefan Kiefer and Michael Luttenberger},
 year         = {2007},
 title        = {An Extension of Newton's Method to \emph{omega} -Continuous Semirings},
 booktitle    = {{DLT} 2007},
 volume       = {4588},
 publisher    = {Springer},
 pages        = {157--168},
 doi          = {10.1007/978-3-540-73208-2\_17},
)
@inproceedings(conf/tacas/GantyIK13,
 author       = {Pierre Ganty and Radu Iosif and Filip Konecn{\'{y}}},
 year         = {2013},
 title        = {Underapproximation of Procedure Summaries for Integer Programs},
 booktitle    = {{TACAS} 2013},
 volume       = {7795},
 publisher    = {Springer},
 pages        = {245--259},
 doi          = {10.1007/978-3-642-36742-7\_18},
)
@article(Ginsburg_1966,
 author       = {Seymour Ginsburg and Edwin H. Spanier},
 year         = {1966},
 title        = {Finite-Turn Pushdown Automata},
 journal      = {SIAM Journal on Control},
 volume       = {4},
 number       = {3},
 pages        = {429--453},
 doi          = {10.1137/0304034},
)
@article(DBLP:journals/iandc/Gruska71b,
 author       = {Jozef Gruska},
 year         = {1971},
 title        = {A Few Remarks on the Index of Context-Free Grammars and Languages},
 journal      = {Information and Control},
 volume       = {19},
 number       = {3},
 pages        = {216--223},
 doi          = {10.1016/S0019-9958(71)90095-7},
)
@article(journals/iandc/LuttenbergerS16,
 author       = {Michael Luttenberger and Maximilian Schlund},
 year         = {2016},
 title        = {Convergence of Newton's Method over Commutative Semirings},
 journal      = {Inf. Comput.},
 volume       = {246},
 pages        = {43--61},
 doi          = {10.1016/j.ic.2015.11.008},
)
@inproceedings(conf/mfcs/NowotkaS07,
 author       = {Dirk Nowotka and Jir{\'{\i}} Srba},
 year         = {2007},
 title        = {Height-Deterministic Pushdown Automata},
 booktitle    = {{MFCS} 2007},
 volume       = {4708},
 publisher    = {Springer},
 pages        = {125--134},
 doi          = {10.1007/978-3-540-74456-6\_13},
)
@inproceedings(conf/fct/Wechsung79,
 author       = {Gerd Wechsung},
 year         = {1979},
 title        = {The oscillation complexity and a hierarchy of context-free languages},
 booktitle    = {{FCT}},
 pages        = {508--515},
)
@phdthesis(phd/de/Wich2005,
 author       = {Klaus Wich},
 year         = {2005},
 title        = {Ambiguity functions of context-free grammars and languages},
 school       = {University of Stuttgart},
)