@inproceedings(Anselmo90,
 author       = "Marcella Anselmo",
 year         = "1990",
 title        = "Two-way Automata with Multiplicity",
 booktitle    = "ICALP'90",
 series       = "Lect. Notes in Comput. Sci.",
 volume       = "443",
 pages        = "88--102",
 doi          = "10.1007/BFb0032024",
)
@article(BCPS03,
 author       = "Marie-Pierre B{\'e}al and Olivier Carton and Christophe Prieur and Jacques Sakarovitch",
 year         = "2003",
 title        = "Squaring transducers: an efficient procedure for deciding functionality and sequentiality",
 journal      = "Theor. Comput. Sci.",
 volume       = "292",
 number       = "1",
 pages        = "45--63",
 doi          = "10.1016/S0304-3975(01)00214-6",
)
@inproceedings(Carton12,
 author       = "Olivier Carton",
 year         = "2012",
 title        = "Two-Way Transducers with a Two-Way Output Tape",
 booktitle    = "DLT'12",
 series       = "Lect. Notes in Comput. Sci.",
 volume       = "7410",
 pages        = "263--272",
 doi          = "10.1007/978-3-642-31653-1\_24",
)
@inproceedings(Souza13,
 author       = "Rodrigo De Souza",
 year         = "2013",
 title        = "Uniformisation of Two-Way Transducers",
 booktitle    = "LATA'13",
 series       = "Lect. Notes in Comput. Sci.",
 volume       = "7810",
 pages        = "547--558",
 doi          = "10.1007/978-3-642-37064-9\_48",
)
@article(EngHoo07,
 author       = "Joost Engelfriet and Hendrik Jan Hoogeboom",
 year         = "2007",
 title        = "Finitary Compositions of Two-way Finite-State Transductions",
 journal      = "Fundam. Inform.",
 volume       = "80",
 number       = "1-3",
 pages        = "111--123",
 url          = "http://iospress.metapress.com/content/143422w0253h8644/",
)
@inbook(EsWe09,
 author       = "Zolt\'an \'Esik and Werner Kuich",
 year         = "2009",
 title        = "Handbook of Weighted Automata",
 chapter      = "Finite Automata",
 pages        = "69--104",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-01492-5",
)
@inproceedings(HopUll67,
 author       = "John E. Hopcroft and Jeffrey D. Ullman",
 year         = "1967",
 title        = "An Approach to a Unified Theory of Automata",
 booktitle    = "SWAT (FOCS)",
 publisher    = "IEEE Computer Society",
 pages        = "140--147",
 doi          = "10.1109/FOCS.1967.4",
)
@article(KLMP04,
 author       = "Ines Klimann and Sylvain Lombardy and Jean Mairesse and Christophe Prieur",
 year         = "2004",
 title        = "Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton",
 journal      = "Theor. Comput. Sci.",
 volume       = "327",
 number       = "3",
 pages        = "349--373",
 doi          = "10.1016/j.tcs.2004.02.049",
)
@article(Krob94,
 author       = "Daniel Krob",
 year         = "1994",
 title        = "The equality problem for rational series with multiplicities in the tropical semiring is undecidable",
 journal      = "Internat. J. Algebra Comput.",
 volume       = "4",
 number       = "3",
 pages        = "405--425",
 doi          = "10.1142/S0218196794000063",
)
@article(LoMa06,
 author       = "Sylvain Lombardy and Jean Mairesse",
 year         = "2006",
 title        = "Series which are both max-plus and min-plus rational are unambiguous",
 journal      = "RAIRO - Theor. Inf. and Appl.",
 volume       = "40",
 number       = "1",
 pages        = "1--14",
 doi          = "10.1051/ita:2005042",
)
@article(LoSa13,
 author       = "Sylvain Lombardy and Jacques Sakarovitch",
 year         = "2013",
 title        = "The validity of weighted automata",
 journal      = "Internat. J. Algebra Comput.",
 volume       = "23",
 pages        = "863--913",
 doi          = "10.1142/S0218196713400146",
)
@article(RabinScott59,
 author       = "M. O. Rabin and D. Scott",
 year         = "1959",
 title        = "Finite automata and their decision problems",
 journal      = "IBM J. Res. Dev.",
 volume       = "3",
 number       = "2",
 pages        = "114--125",
 doi          = "10.1147/rd.32.0114",
)
@book(Saka09,
 author       = "Jacques Sakarovitch",
 year         = "2009",
 title        = "Elements of Automata Theory",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9781139195218",
)
@article(Shepherdson59,
 author       = "J. C. Shepherdson",
 year         = "1959",
 title        = "The reduction of two-way automata to one-way automata",
 journal      = "IBM J. Res. Dev.",
 volume       = "3",
 number       = "2",
 pages        = "198--200",
 doi          = "10.1147/rd.32.0198",
)