@article(Angluin:1982:irl,
 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(Bennet:1973:lrc,
 author       = {Charles H. Bennett},
 year         = {1973},
 title        = {Logical reversibility of Computation},
 journal      = {IBM J. Res. Dev.},
 volume       = {17},
 pages        = {525--532},
 doi          = {10.1147/rd.176.0525},
)
@article(bertoni:2001:rlaqfa,
 author       = {Alberto Bertoni and Marco Carpentieri},
 year         = {2001},
 title        = {Regular Languages Accepted by Quantum Automata},
 journal      = {Inf. Comput.},
 volume       = {165},
 pages        = {174--182},
 doi          = {10.1006/inco.2000.2911},
)
@article(Breveglieri:1996:mpdlag,
 author       = {Luca Breveglieri and Alessandra Cherubini and Claudio Citrini and Crespi{-}Reghizzi, Stefano},
 year         = {1996},
 title        = {Multi-Push-Down Languages and Grammars},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {7},
 number       = {3},
 pages        = {253--292},
 doi          = {10.1142/S0129054196000191},
)
@article(fischer:1968:cmacl,
 author       = {Patrick C. Fischer and Albert R. Meyer and Arnold L. Rosenberg},
 year         = {1968},
 title        = {Counter Machines and Counter Languages},
 journal      = {Math. Systems Theory},
 volume       = {2},
 pages        = {265--283},
 doi          = {10.1007/BF01694011},
)
@article(greibach:1976:rotconcl,
 author       = {Sheila A. Greibach},
 year         = {1976},
 title        = {Remarks on the Complexity of Nondeterministic Counter Languages},
 journal      = {Theor. Comput. Sci.},
 volume       = {1},
 number       = {4},
 pages        = {269--288},
 doi          = {10.1016/0304-3975(76)90072-4},
)
@article(Hartmanis:1970:wmsltpu,
 author       = {Juris Hartmanis and John E. Hopcroft},
 year         = {1970},
 title        = {What makes Some Language Theory Problems Undecidable},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {4},
 pages        = {368--376},
 doi          = {10.1016/S0022-0000(70)80018-6},
)
@article(hirvensalo:2010:qaote,
 author       = {Mika Hirvensalo},
 year         = {2010},
 title        = {Quantum Automata with Open Time Evolution},
 journal      = {Int. J. Nat. Comput. Res.},
 volume       = {1},
 pages        = {70--85},
 doi          = {10.4018/jncr.2010010104},
)
@article(holzer:2018:mrdfa,
 author       = {Markus Holzer and Sebastian Jakobi and Martin Kutrib},
 year         = {2018},
 title        = {Minimal Reversible Deterministic Finite Automata},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {29},
 number       = {2},
 pages        = {251--270},
 doi          = {10.1142/S0129054118400063},
)
@book(Hopcroft:1979:itatlc:book,
 author       = {John E. Hopcroft and Jeffrey D. Ullman},
 year         = {1979},
 title        = {Introduction to Automata Theory, Languages, and Computation},
 publisher    = {Addison-Wesley},
 address      = {Reading, Massachusetts},
)
@inproceedings(kondacs:1997:pqfsa,
 author       = {Attila Kondacs and John Watrous},
 year         = {1997},
 title        = {On the Power of Quantum Finite State Automata},
 booktitle    = {FOCS 1997},
 publisher    = {IEEE Computer Society},
 pages        = {66--75},
 doi          = {10.1109/SFCS.1997.646094},
)
@article(kutrib:2012:rpa,
 author       = {Martin Kutrib and Andreas Malcher},
 year         = {2012},
 title        = {Reversible Pushdown Automata},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {78},
 number       = {6},
 pages        = {1814--1827},
 doi          = {10.1016/j.jcss.2011.12.004},
)
@techreport(laing:1967:racce,
 author       = {Richard Laing},
 year         = {1967},
 title        = {Realization and complexity of commutative events},
 type         = {Technical Report},
 number       = {03105-48-T},
 institution  = {University of Michigan},
)
@article(lavado:2017:marra,
 author       = {Giovanna J. Lavado and Giovanni Pighizzini and Luca Prigioniero},
 year         = {2017},
 title        = {Minimal and Reduced Reversible Automata},
 journal      = {J. Autom. Lang. Comb.},
 volume       = {22},
 number       = {1-3},
 pages        = {145--168},
 doi          = {10.25596/jalc-2017-145},
)
@article(lavado:2019:crora,
 author       = {Giovanna J. Lavado and Luca Prigioniero},
 year         = {2019},
 title        = {Concise Representations of Reversible Automata},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {30},
 number       = {6-7},
 pages        = {1157--1175},
 doi          = {10.1142/S0129054119400331},
)
@article(lecerf:lmmtr:1963,
 author       = {Yves Lecerf},
 year         = {1963},
 title        = {Logique Math{\'e}matique: {M}achines de {T}uring r{\'e}versible},
 journal      = {C. R. S{\'e}ances Acad. Sci.},
 volume       = {257},
 pages        = {2597--2600},
)
@book(li:1993:itkca:book,
 author       = {Ming Li and Paul M. B. Vit{\'a}nyi},
 year         = {1993},
 title        = {An Introduction to {K}olmogorov Complexity and Its Applications},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-3860-5},
)
@article(mereghetti:2021:qfafttp,
 author       = {Carlo Mereghetti and Beatrice Palano},
 year         = {2021},
 title        = {Guest Column: Quantum Finite Automata: From Theory to Practice},
 journal      = {SIGACT News},
 volume       = {52},
 pages        = {38--59},
 doi          = {10.1145/3494656.3494666},
)
@article(Minsky:1961:rupptotttm,
 author       = {Marvin L. Minsky},
 year         = {1961},
 title        = {Recursive Unsolvability of {P}ost's Problem of `Tag' and Other Topics in the Theory of {T}uring machines},
 journal      = {Annals of Math.},
 volume       = {74},
 pages        = {437--455},
 doi          = {10.2307/1970290},
)
@article(Morita:1995:rsodica,
 author       = {Kenichi Morita},
 year         = {1995},
 title        = {Reversible simulation of one-dimensional irreversible cellular automata},
 journal      = {Theoret. Comput. Sci.},
 volume       = {148},
 number       = {1},
 pages        = {157--163},
 doi          = {10.1016/0304-3975(95)00038-X},
)
@article(morita:1996:urtcm,
 author       = {Kenichi Morita},
 year         = {1996},
 title        = {Universality of a Reversible Two-Counter Machine},
 journal      = {Theor. Comput. Sci.},
 volume       = {168},
 pages        = {303--320},
 doi          = {10.1016/S0304-3975(96)00081-3},
)
@article(petersen:2011:sbtbcm,
 author       = {Holger Petersen},
 year         = {2011},
 title        = {Simulations by Time-Bounded Counter Machines},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {22},
 pages        = {395--409},
 doi          = {10.1142/S0129054111008106},
)
@inproceedings(say:2014:qfaami,
 author       = {A. C. Cem Say and Yakary{\i}lmaz, Abuzer},
 year         = {2014},
 title        = {Quantum Finite Automata: {A} Modern Introduction},
 editor       = {Cristian S. Calude and Rusins Freivalds and Kazuo Iwama},
 booktitle    = {Computing with New Resources},
 series       = {LNCS},
 volume       = {8808},
 publisher    = {Springer},
 pages        = {208--222},
 doi          = {10.1007/978-3-319-13350-8\_16},
)
@inproceedings(yilmaz:2022:ecrlr,
 author       = {{\"{O}}yk{\"{u}} Yilmaz and Firat Kiyak and Meri{\c{c}} {\"{U}}ng{\"{o}}r and A. C. Cem Say},
 year         = {2022},
 title        = {Energy Complexity of Regular Language Recognition},
 editor       = {Pascal Caron and Ludovic Mignot},
 booktitle    = {Implementation and Application of Automata (CIAA 2022)},
 series       = {LNCS},
 volume       = {13266},
 publisher    = {Springer},
 pages        = {200--211},
 doi          = {10.1007/978-3-031-07469-1\_16},
)