@article(bra68,
 author       = "Walter S. Brainerd",
 year         = "1968",
 title        = "The Minimalization of Tree Automata",
 journal      = "Inform.\ and Control",
 volume       = "13",
 number       = "5",
 pages        = "484--491",
 doi          = "10.1016/S0019-9958(68)90917-0",
)
@article(chahanparzia04,
 author       = "Jean-Marc Champarnaud and Georges Hansel and Thomas Parantho{\"e}n and Djelloul Ziadi",
 year         = "2004",
 title        = "Random Generation Models for {NFAs}",
 journal      = "J. Autom.\ Lang.\ Combin.",
 volume       = "9",
 number       = "2/3",
 pages        = "203--216",
)
@article(don70,
 author       = "John Doner",
 year         = "1970",
 title        = "Tree Acceptors and Some of Their Applications",
 journal      = "J. Comput.\ System Sci.",
 volume       = "4",
 number       = "5",
 pages        = "406--451",
 doi          = "10.1016/S0022-0000(70)80041-1",
)
@book(gecste84,
 author       = "Ferenc G{\'e}cseg and Magnus Steinby",
 year         = "1984",
 title        = "Tree Automata",
 publisher    = "Akad{\'e}miai Kiad{\'o}",
 address      = "Budapest",
)
@incollection(gecste97,
 author       = "Ferenc G{\'e}cseg and Magnus Steinby",
 year         = "1997",
 title        = "Tree Languages",
 editor       = "Grzegorz Rozenberg and Arto Salomaa",
 booktitle    = "Beyond Words",
 chapter      = "1",
 series       = "Handbook of Formal Languages",
 volume       = "3",
 publisher    = "Springer",
 pages        = "1--68",
 doi          = "10.1007/978-3-642-59126-6_1",
)
@inproceedings(han10,
 author       = "Thomas Hanneforth",
 year         = "2010",
 title        = "{\it fsm2} --- A Scripting Language Interpreter for Manipulating Weighted Finite-State Automata",
 booktitle    = "Proc.\ FSMNLP",
 series       = "\upshape LNCS",
 volume       = "6062",
 publisher    = "Springer",
 pages        = "13--30",
 doi          = "10.1007/978-3-642-14684-8_3",
)
@inproceedings(lensimvoj12,
 author       = "Ondrej Leng{\'a}l and Jir\'{\i } Sim{\'a}cek and Tom{\'a}s Vojnar",
 year         = "2012",
 title        = "VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata",
 booktitle    = "Proc.\ TACAS",
 series       = "LNCS",
 volume       = "7214",
 publisher    = "Springer",
 pages        = "79--94",
 doi          = "10.1007/978-3-642-28756-5_7",
)
@techreport(les95,
 author       = "Ted Leslie",
 year         = "1995",
 title        = "Efficient Approaches to Subset Construction",
 type         = "Technical Report",
 institution  = "University of Waterloo, Canada",
)
@inproceedings(maykni06,
 author       = "Jonathan May and Kevin Knight",
 year         = "2006",
 title        = "Tiburon: A Weighted Tree Automata Toolkit",
 booktitle    = "Proc.\ CIAA",
 series       = "\upshape LNCS",
 volume       = "4094",
 publisher    = "Springer",
 pages        = "102--113",
 doi          = "10.1007/11812128_11",
)
@inproceedings(petbarthikle06,
 author       = "Slav Petrov and Leon Barrett and Romain Thibaux and Dan Klein",
 year         = "2006",
 title        = "Learning Accurate, Compact, and Interpretable Tree Annotation",
 booktitle    = "Proc.\ COLING-ACL",
 publisher    = "Association for Computational Linguistics",
 pages        = "433--440",
 doi          = "10.3115/1220175.1220230",
)
@incollection(yu97,
 author       = "Sheng Yu",
 year         = "1997",
 title        = "Regular Languages",
 editor       = "Grzegorz Rozenberg and Arto Salomaa",
 booktitle    = "Word, Language, Grammar",
 chapter      = "2",
 series       = "Handbook of Formal Languages",
 volume       = "1",
 publisher    = "Springer",
 pages        = "41--110",
 doi          = "10.1007/978-3-642-59136-5_2",
)
@phdthesis(zij97,
 author       = "Lynette van Zijl",
 year         = "1997",
 title        = "Generalized Nondeterminism and the Succinct Representation of Regular Languages",
 school       = "Stellenbosch University, South Africa",
)