@article(alur-madhusudan09,
 author       = "Rajeev Alur and P. Madhusudan",
 year         = "2009",
 title        = "Adding nesting structure to words",
 journal      = "J. ACM",
 volume       = "56",
 pages        = "16:1--16:43",
 doi          = "10.1145/1516512.1516518",
)
@inproceedings(BFLS05-atva,
 author       = "S{\'e}bastien Bardin and Alain Finkel and J{\'e}r{\^o}me Leroux and {\relax Ph}ilippe Schnoebelen",
 year         = "2005",
 title        = "Flat acceleration in symbolic model checking",
 booktitle    = "{P}roceedings of the 3rd {I}nternational {S}ymposium on {A}utomated {T}echnology for {V}erification and {A}nalysis ({ATVA}'05)",
 series       = "LNCS",
 volume       = "3707",
 publisher    = "Springer",
 address      = "Taipei, Taiwan",
 pages        = "474--488",
 doi          = "10.1007/11562948\_35",
)
@inproceedings(bojanczyk09,
 author       = "Mikolaj Bojanczyk",
 year         = "2009",
 title        = "Weak {MSO} with the Unbounding Quantifier",
 booktitle    = "STACS 2009",
 volume       = "3",
 pages        = "159--170",
 doi          = "10.4230/LIPIcs.STACS.2009.1834",
)
@article(bouajjani-habermehl98,
 author       = "Ahmed Bouajjani and Peter Habermehl",
 year         = "1998",
 title        = "Symbolic Reachability Analysis of {FIFO}-Channel Systems with Nonregular Sets of Configurations",
 journal      = "Theoretical Computer Science",
 volume       = "221",
 doi          = "10.1016/S0304-3975(99)00033-X",
)
@inproceedings(cadilhac-finkel-mckenzie11,
 author       = "Micha\"el Cadilhac and Alain Finkel and Pierre McKenzie",
 year         = "2011",
 title        = "On the expressiveness of {P}arikh automata and related models",
 booktitle    = "Proceedings of 3rd International Workshop on Non-Classical Models of Automata and Applications \emph {(to appear)}",
)
@article(dalessandro-varricchio08,
 author       = "Flavio D'Alessandro and Stefano Varricchio",
 year         = "2008",
 title        = "On the growth of context-free languages",
 journal      = "J. Autom. Lang. Comb.",
 volume       = "13",
 pages        = "95--104",
)
@inproceedings(dang-ibarra-bultan-kemmerer-su00,
 author       = "Zhe Dang and Oscar H. Ibarra and Tevfik Bultan and Richard A. Kemmerer and Jianwen Su",
 year         = "2000",
 title        = "Binary Reachability Analysis of Discrete Pushdown Timed Automata",
 booktitle    = "{CAV}",
 series       = "LNCS",
 volume       = "1855",
 publisher    = "Springer",
 pages        = "69--84",
 doi          = "10.1007/10722167\_9",
)
@article(DFGD-jancl10,
 author       = "St{\'e}phane Demri and Alain Finkel and Valentin Goranko and Govert van Drimmelen",
 year         = "2010",
 title        = "Model-checking (\textsf {CTL}{*}) over Flat {P}resburger Counter Systems",
 journal      = "Journal of Applied Non-Classical Logics",
 volume       = "20",
 number       = "4",
 pages        = "313--344",
 doi          = "10.3166/jancl.20.313-344",
)
@book(enderton72,
 author       = "Herbert B. Enderton",
 year         = "1972",
 title        = "A Mathematical Introduction to Logic",
 publisher    = "Academic Press",
)
@article(finkel-iyer-sutre03,
 author       = "Alain Finkel and S. Purushothaman Iyer and Gr{\'e}goire Sutre",
 year         = "2003",
 title        = "Well-abstracted transition systems: application to {FIFO} automata",
 journal      = "Information and Computation",
 volume       = "181",
 number       = "1",
 pages        = "1{\textendash }31",
 doi          = "10.1016/S0890-5401(02)00027-5",
)
@article(fischer65,
 author       = "Patrick C. Fischer",
 year         = "1965",
 title        = "Multi-tape and infinite-state automata---a survey",
 journal      = "Commun. ACM",
 volume       = "8",
 number       = "12",
 pages        = "799--805",
 doi          = "10.1145/365691.365962",
)
@book(ginsburg66,
 author       = "Seymour Ginsburg",
 year         = "1966",
 title        = "The Mathematical Theory of Context-Free Languages",
 publisher    = "McGraw-Hill, Inc.",
 address      = "New York, NY, USA",
)
@article(ginsburg-spanier64,
 author       = "Seymour Ginsburg and Edwin H. Spanier",
 year         = "1964",
 title        = "Bounded {ALGOL}-Like Languages",
 journal      = "Transactions of the American Mathematical Society",
 volume       = "113",
 number       = "2",
 pages        = "333--368",
 doi          = "10.2307/1994067",
)
@article(ibarra78,
 author       = "Oscar H. Ibarra",
 year         = "1978",
 title        = "Reversal-Bounded Multicounter Machines and Their Decision Problems",
 journal      = "J. ACM",
 volume       = "25",
 number       = "1",
 pages        = "116--133",
 doi          = "10.1145/322047.322058",
)
@article(ibarra-su99,
 author       = "Oscar H. Ibarra and Jianwen Su",
 year         = "1999",
 title        = "A technique for proving decidability of containment and equivalence of linear constraint queries",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "59",
 number       = "1",
 pages        = "1--28",
 doi          = "10.1006/jcss.1999.1624",
)
@article(ibarra-su-dang-bultan-kemmerer02,
 author       = "Oscar H. Ibarra and Jianwen Su and Zhe Dang and Tevfik Bultan and Richard A. Kemmerer",
 year         = "2002",
 title        = "Counter Machines and Verification Problems",
 journal      = "TCS",
 volume       = "289",
 number       = "1",
 pages        = "165--189",
 doi          = "10.1016/S0304-3975(01)00268-7",
)
@article(kaminski94,
 author       = "Michael Kaminski and Nissim Francez",
 year         = "1994",
 title        = "Finite-memory automata",
 journal      = "TCS",
 volume       = "134",
 number       = "2",
 pages        = "329--363",
 doi          = "10.1016/0304-3975(94)90242-9",
)
@inproceedings(klaedtke-ruess03,
 author       = "Felix Klaedtke and Harald Rue{\ss }",
 year         = "2003",
 title        = "Monadic Second-Order Logics with Cardinalities",
 booktitle    = "ICALP",
 series       = "LNCS",
 volume       = "2719",
 publisher    = "Springer-Verlag",
 pages        = "681--696",
 doi          = "10.1007/3-540-45061-0\_54",
)
@techreport(klarlund89,
 author       = "Nils Klarlund and Fred B. Schneider",
 year         = "1989",
 title        = "Verifying Safety Properties Using Non-deterministic Infinite-state Automata",
 type         = "Technical Report",
 address      = "Ithaca, NY, USA",
)
@article(lisovik-koval05,
 author       = "L. P Lisovik and D. A Koval'",
 year         = "2005",
 title        = "Language recognition by two-way deterministic pushdown automata",
 journal      = "Cybernetics and Systems Analysis",
 volume       = "40",
 pages        = "939--942",
 doi          = "10.1007/s10559-005-0034-7",
 note         = "{ACM} {ID:} 1057268",
)
@article(parikh66,
 author       = "Rohit J. Parikh",
 year         = "1966",
 title        = "On context-free languages",
 journal      = "Journal of the ACM",
 volume       = "13",
 number       = "4",
 pages        = "570--581",
 doi          = "10.1145/321356.321364",
)
@book(str94,
 author       = "Howard Straubing",
 year         = "1994",
 title        = "Finite Automata, Formal Logic, and Circuit Complexity",
 publisher    = "Birkh{{{{{{{{{{{\"a}}}}}}}}}}}user",
 address      = "Boston",
 doi          = "10.1007/978-1-4612-0289-9",
)