@article(Ang82,
 author       = {Dana Angluin},
 year         = {1982},
 title        = {Inference of Reversible Languages},
 journal      = {J. {ACM}},
 volume       = {29},
 number       = {3},
 pages        = {741--765},
 doi          = {10.1145/322326.322334},
)
@article(Ben73,
 author       = {Charles H. Bennett},
 year         = {1973},
 title        = {Logical Reversibility Of Computation.},
 journal      = {IBM Journal of Research and Development},
 volume       = {17},
 number       = {6},
 pages        = {525--532},
 doi          = {10.1147/rd.176.0525},
)
@inproceedings(HJK15,
 author       = {Markus Holzer and Sebastian Jakobi and Martin Kutrib},
 year         = {2015},
 title        = {Minimal Reversible Deterministic Finite Automata},
 editor       = {Igor Potapov},
 booktitle    = {Developments in Language Theory - 19th International Conference, {DLT} 2015, Liverpool, UK, July 27-30, 2015, Proceedings.},
 series       = {Lecture Notes in Computer Science},
 volume       = {9168},
 publisher    = {Springer},
 pages        = {276--287},
 doi          = {10.1007/978-3-319-21500-6_22},
)
@book(HU79,
 author       = {John E. Hopcroft and Jeffrey D. Ullman},
 year         = {1979},
 title        = {Introduction to Automata Theory, Languages and Computation},
 publisher    = {Addison-Wesley},
)
@article(Jones75,
 author       = {Neil D. Jones},
 year         = {1975},
 title        = {Space-bounded reducibility among combinatorial problems},
 journal      = {Journal of Computer and System Sciences},
 volume       = {11},
 number       = {1},
 pages        = {68--85},
 doi          = {10.1016/S0022-0000(75)80050-X},
)
@inproceedings(KondacsW97,
 author       = {Attila Kondacs and John Watrous},
 year         = {1997},
 title        = {On the Power of Quantum Finite State Automata.},
 booktitle    = {FOCS},
 publisher    = {IEEE Computer Society},
 pages        = {66--75},
 doi          = {10.1109/SFCS.1997.646094},
)
@inproceedings(Kut15,
 author       = {Martin Kutrib},
 year         = {2015},
 title        = {Reversible and Irreversible Computations of Deterministic Finite-State Devices},
 editor       = {Giuseppe F. Italiano and Giovanni Pighizzini and Donald Sannella},
 booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9234},
 publisher    = {Springer},
 pages        = {38--52},
 doi          = {10.1007/978-3-662-48057-1_3},
)
@inproceedings(KW14,
 author       = {Martin Kutrib and Thomas Worsch},
 year         = {2014},
 title        = {Degrees of Reversibility for {DFA} and {DPDA}},
 editor       = {Shigeru Yamashita and Shin{-}ichi Minato},
 booktitle    = {Reversible Computation - 6th International Conference, {RC} 2014, Kyoto, Japan, July 10-11, 2014. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8507},
 publisher    = {Springer},
 pages        = {40--53},
 doi          = {10.1007/978-3-319-08494-7_4},
)
@article(Lan61,
 author       = {Rolf W. Landauer},
 year         = {1961},
 title        = {Irreversibility and Heat Generation in the Computing Process},
 journal      = {IBM Journal of Research and Development},
 volume       = {5},
 number       = {3},
 pages        = {183--191},
 doi          = {10.1147/rd.53.0183},
)
@article(LMT00,
 author       = {Klaus{-}J{\"{o}}rn Lange and Pierre McKenzie and Alain Tapp},
 year         = {2000},
 title        = {Reversible Space Equals Deterministic Space},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {60},
 number       = {2},
 pages        = {354--367},
 doi          = {10.1006/jcss.1999.1672},
)
@inproceedings(LPP16,
 author       = {Giovanna J. Lavado and Giovanni Pighizzini and Luca Prigioniero},
 year         = {2016},
 title        = {Minimal and Reduced Reversible Automata},
 editor       = {Cezar C{\^{a}}mpeanu and Florin Manea and Jeffrey Shallit},
 booktitle    = {Descriptional Complexity of Formal Systems - 18th {IFIP} {WG} 1.2 International Conference, {DCFS} 2016, Bucharest, Romania, July 5-8, 2016. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9777},
 publisher    = {Springer},
 pages        = {168--179},
 doi          = {10.1007/978-3-319-41114-9_13},
 note         = {An extended version will appear in the {Journal of Automata, Languages, and Combinatorics}},
)
@inproceedings(LP17,
 author       = {Giovanna J. Lavado and Luca Prigioniero},
 year         = {2017},
 title        = {Concise Representations of Reversible Automata},
 editor       = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu},
 booktitle    = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10316},
 publisher    = {Springer},
 pages        = {238--249},
 doi          = {10.1007/978-3-319-60252-3_19},
)
@inproceedings(Lom02,
 author       = {Sylvain Lombardy},
 year         = {2002},
 title        = {On the Construction of Reversible Automata for Reversible Languages},
 editor       = {Peter Widmayer and Francisco Triguero Ruiz and Rafael Morales Bueno and Matthew Hennessy and Stephan Eidenbenz and Ricardo Conejo},
 booktitle    = {Automata, Languages and Programming, 29th International Colloquium, {ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {2380},
 publisher    = {Springer},
 pages        = {170--182},
 doi          = {10.1007/3-540-45465-9_16},
)
@article(Pig15,
 author       = {Giovanni Pighizzini},
 year         = {2015},
 title        = {Investigations on Automata and Languages Over a Unary Alphabet},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {26},
 number       = {7},
 pages        = {827--850},
 doi          = {10.1142/S012905411540002X},
)
@inproceedings(Pin92,
 author       = {Jean{-}Eric Pin},
 year         = {1992},
 title        = {On Reversible Automata},
 editor       = {Imre Simon},
 booktitle    = {{LATIN} '92, 1st Latin American Symposium on Theoretical Informatics, S{\~{a}}o Paulo, Brazil, April 6-10, 1992, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {583},
 publisher    = {Springer},
 pages        = {401--416},
 doi          = {10.1007/BFb0023844},
)