@inproceedings(Mohri:08,
 author       = "Cyril Allauzen and Mehryar Mohri and Ashish Rastogi",
 year         = "2008",
 title        = "General Algorithms for Testing the Ambiguity of Finite Automata.",
 editor       = "Masami Ito and Masafumi Toyama",
 booktitle    = "Developments in Language Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "5257",
 publisher    = "Springer",
 pages        = "108--120",
 doi          = "10.1007/978-3-540-85780-8\_8",
)
@article(boyer1977fast,
 author       = "Robert S. Boyer and J. Strother Moore",
 year         = "1977",
 title        = "A fast string searching algorithm",
 journal      = "Communications of the ACM",
 volume       = "20",
 number       = "10",
 pages        = "762--772",
 doi          = "10.1145/359842.359859",
)
@article(Campeanu:03,
 author       = "Cezar C\^{a}mpeanu and Kai Salomaa and Sheng Yu",
 year         = "2003",
 title        = "A Formal Study of Practical Regular Expressions",
 journal      = "International Journal of Foundations of Computer Science",
 volume       = "14",
 number       = "6",
 pages        = "1007--1018",
 doi          = "10.1142/S012905410300214X",
)
@article(drewes:01,
 author       = "Frank Drewes",
 year         = "2001",
 title        = "The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers,",
 journal      = "Information and Computation",
 volume       = "169",
 number       = "2",
 pages        = "264 -- 283",
 doi          = "10.1006/inco.2001.3039",
)
@inproceedings(ford:04,
 author       = "Bryan Ford",
 year         = "2004",
 title        = "Parsing Expression Grammars: A Recognition-Based Syntactic Foundation",
 editor       = "Neil D. Jones and Xavier Leroy",
 booktitle    = "Symposium on Principles of Programming Languages{\ }(POPL'04)",
 publisher    = "ACM Press",
 pages        = "111--122",
 doi          = "10.1145/964001.964011",
)
@book(garey:79,
 author       = "Michael R. Garey and David S. Johnson",
 year         = "1979",
 title        = "Computers and Intractability: A Guide to the Theory of NP-Completeness",
 publisher    = "W. H. Freeman \& Co.",
 address      = "New York, NY, USA",
)
@incollection(kirrage:13,
 author       = "James Kirrage and Asiri Rathnayake and Hayo Thielecke",
 year         = "2013",
 title        = "Static Analysis for Regular Expression Denial-of-Service Attacks",
 booktitle    = "Network and System Security",
 publisher    = "Springer",
 pages        = "135--148",
 doi          = "10.1007/978-3-642-38631-2\_11",
)
@article(Medeiros:11,
 author       = "S{\'e}rgio Medeiros and Fabio Mascarenhas and Roberto Ierusalimschy",
 year         = "2012",
 title        = "From Regexes to Parsing Expression Grammars",
 journal      = "CoRR",
 volume       = "abs/1210.4992",
 doi          = "10.1016/j.scico.2012.11.006",
)
@article(Thompson:68,
 author       = "Ken Thompson",
 year         = "1968",
 title        = "Regular Expression Search Algorithm.",
 journal      = "Communications of the ACM",
 volume       = "11",
 number       = "6",
 pages        = "419--422",
 doi          = "10.1145/363347.363387",
)