@article(angluin,
 author       = {Dana Angluin},
 year         = {1982},
 title        = {Inference of reversible languages},
 journal      = {Journal of the ACM},
 volume       = {29},
 number       = {3},
 pages        = {741--765},
 doi          = {10.1145/322326.322334},
)
@article(bennett72,
 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},
)
@article(bennett,
 author       = {Charles H. Bennett},
 year         = {2003},
 title        = {Notes on Landauer's principle, Reversible Computation and Maxwell's Demon},
 journal      = {Studies in History and Philosophy of Modern Physics},
 volume       = {34},
 number       = {3},
 pages        = {501--510},
 doi          = {10.1016/S1355-2198(03)00039-X},
)
@article(bub,
 author       = {Jeffrey Bub},
 year         = {2001},
 title        = {Maxwell's Demon and the Thermodynamics of Computation},
 journal      = {Studies in History and Philosophy of Modern Physics},
 volume       = {32},
 number       = {4},
 pages        = {569--579},
 doi          = {10.1016/S1355-2198(01)00023-5},
)
@article(earmannorton,
 author       = {John Earman and John D. Norton},
 year         = {1999},
 title        = {The wrath of Maxwell's demon. Part II. From Szilard to Landauer and beyond},
 journal      = {Studies in History and Philosophy of Modern Physics},
 volume       = {30},
 number       = {1},
 pages        = {1--40},
 doi          = {10.1016/S1355-2198(98)00026-4},
)
@inproceedings(holzer15,
 author       = {Markus Holzer and Sebastian Jakobi and Martin Kutrib},
 year         = {2015},
 title        = {Minimal reversible deterministic finite automata},
 booktitle    = {DLT},
 series       = {Lecture Notes in Computer Science},
 volume       = {9168},
 publisher    = {Springer},
 pages        = {276--287},
 doi          = {10.1007/978-3-319-21500-6_22},
)
@book(hopcroft,
 author       = {John E. Hopcroft and Jeffrey D. Ullman},
 year         = {1979},
 title        = {Introduction to Automata Theory, Languages and Computation},
 publisher    = {Addison-Wesley},
)
@inproceedings(kondacs,
 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},
)
@inproceedings(kutrib14,
 author       = {Martin Kutrib},
 year         = {2014},
 title        = {Aspects of reversibility for classical automata},
 booktitle    = {Computing with new resources},
 series       = {Lecture Notes in Computer Science},
 volume       = {8808},
 publisher    = {Springer},
 pages        = {83--98},
 doi          = {10.1007/978-3-319-13350-8_7},
)
@inproceedings(kutrib15,
 author       = {Martin Kutrib},
 year         = {2015},
 title        = {Reversible and irreversible computations of deterministic finite-state devices},
 booktitle    = {MFCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {9234},
 publisher    = {Springer},
 pages        = {38--52},
 doi          = {10.1007/978-3-662-48057-1_3},
)
@article(Ladyman200758,
 author       = {James Ladyman and Stuart Presnell and Anthony J. Short and Berry Groisman},
 year         = {2007},
 title        = {The connection between logical and thermodynamic irreversibility},
 journal      = {Studies in History and Philosophy of Modern Physics},
 volume       = {38},
 number       = {1},
 pages        = {58 -- 79},
 doi          = {10.1016/j.shpsb.2006.03.007},
)
@article(landauer,
 author       = {Rolf 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(langetapp,
 author       = {Klaus-J{\"{o}}rn Lange and Pierre McKenzie and Alain Tapp},
 year         = {2000},
 title        = {Reversible space equals deterministic space},
 journal      = {Journal of Comput. Sys. Sci},
 volume       = {60},
 number       = {2},
 pages        = {354--367},
 doi          = {10.1006/jcss.1999.1672},
)
@inproceedings(luca,
 author       = {Giovanna Lavado and Giovanni Pighizzini and Luca Prigioniero},
 year         = {2017},
 title        = {Weakly and Strongly Irreversible Regular Languages},
 booktitle    = {AFL},
)
@inproceedings(giovanna,
 author       = {Giovanna Lavado and Luca Prigioniero},
 year         = {2017},
 title        = {Concise representations of reversible automata},
 booktitle    = {DCFS},
 series       = {Lecture Notes in Computer Science},
 volume       = {10316},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10003-2_104},
)
@inproceedings(giovanni,
 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},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {168--179},
 doi          = {10.1007/978-3-319-41114-9_13},
)
@inproceedings(lombardy,
 author       = {Sylvain Lombardy},
 year         = {2002},
 title        = {On the construction of reversible automata for reversible languages},
 booktitle    = {ICALP},
 series       = {Lecture Notes in Computer Science},
 volume       = {2380},
 publisher    = {Springer},
 pages        = {170--182},
 doi          = {10.1007/3-540-45465-9_16},
)
@book(chuang,
 author       = {Michael Nielsen and Isaac Chung},
 year         = {2000},
 title        = {Quantum computation and quantum information},
 publisher    = {Cambridge University Press},
)
@article(norton2005,
 author       = {John D. Norton},
 year         = {2005},
 title        = {Eaters of the lotus: {L}andauer's principle and the return of {M}axwell's demon},
 journal      = {Studies in History and Philosophy of Modern Physics},
 volume       = {36},
 pages        = {375--411},
 doi          = {10.1016/j.shpsb.2004.12.002},
)
@article(norton2011,
 author       = {John D. Norton},
 year         = {2011},
 title        = {Waiting for Landauer},
 journal      = {Studies in History and Philosophy of Modern Physics},
 volume       = {42},
 pages        = {184--198},
 doi          = {10.1016/j.shpsb.2011.05.002},
)
@inproceedings(pin92,
 author       = {Jean-{\'{E}}ric Pin},
 year         = {1992},
 title        = {On reversible automata},
 booktitle    = {LATIN},
 series       = {Lecture Notes in Computer Science},
 volume       = {583},
 publisher    = {Springer},
 pages        = {401--416},
 doi          = {10.1007/BFb0023844},
)
@article(vaccaro,
 author       = {Joan Vaccaro and Stephen Barnett},
 year         = {2011},
 title        = {Information Erasure Without an Energy Cost},
 journal      = {Proceedings of the Royal Society A},
 volume       = {467},
 number       = {2130},
 pages        = {1770--1778},
 doi          = {10.1103/PhysRevLett.102.250602},
)