@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(bordihn:2021:rpcfas,
 author       = {Henning Bordihn and Gy{\"{o}}rgy Vaszil},
 year         = {2021},
 title        = {Reversible parallel communicating finite automata systems},
 journal      = {Acta Inf.},
 volume       = {58},
 number       = {4},
 pages        = {263--279},
 doi          = {10.1007/s00236-021-00396-9},
)
@article(chatterjee:2017:rwka,
 author       = {Kingshuk Chatterjee and Kumar Sankar Ray},
 year         = {2017},
 title        = {Reversible Watson-Crick automata},
 journal      = {Acta Inf.},
 volume       = {54},
 number       = {5},
 pages        = {487--499},
 doi          = {10.1007/s00236-016-0267-0},
)
@article(chatterjee:2017:wkpa,
 author       = {Kingshuk Chatterjee and Kumar Sankar Ray},
 year         = {2017},
 title        = {Watson-Crick pushdown automata},
 journal      = {Kybernetika},
 volume       = {53},
 number       = {5},
 pages        = {868--876},
 doi          = {10.14736/kyb-2017-5-0868},
)
@article(czeizler:2009:odcwca,
 author       = {Elena Czeizler and Eugen Czeizler and Lila Kari and Kai Salomaa},
 year         = {2009},
 title        = {On the descriptional complexity of {W}atson-{C}rick automata},
 journal      = {Theor. Comput. Sci.},
 volume       = {410},
 pages        = {3250--3260},
 doi          = {10.1016/j.tcs.2009.05.001},
)
@inproceedings(Freund:1997:wcfa:proc,
 author       = {Rudolf Freund and P{\u{a}}un, Gheorghe and Grzegorz Rozenberg and Arto Salomaa},
 year         = {1997},
 title        = {{W}atson-{C}rick Finite Automata},
 booktitle    = {{DIMACS} Workshop on {DNA} Based Computers},
 publisher    = {University of Pennsylvania},
 address      = {Philadelphia},
 pages        = {305--317},
 doi          = {10.1090/dimacs/048/22},
)
@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},
 pages        = {251--270},
 doi          = {10.1142/S0129054118400063},
)
@article(kocman:2022:ajwkfam,
 author       = {Radim Kocman and Zbynek Krivka and Alexander Meduna and Benedek Nagy},
 year         = {2022},
 title        = {A jumping 5{${'}$} {$\rightarrow$} 3{${'}$} Watson-Crick finite automata model},
 journal      = {Acta Inf.},
 volume       = {59},
 number       = {5},
 pages        = {557--584},
 doi          = {10.1007/s00236-021-00413-x},
)
@inproceedings(kondacs:1997:pqfsa,
 author       = {Attila Kondacs and John Watrous},
 year         = {1997},
 title        = {On the Power of Quantum Finite State Automata},
 booktitle    = {Foundations of Computer Science (FOCS 1997)},
 publisher    = {IEEE Computer Society},
 pages        = {66--75},
 doi          = {10.1109/SFCS.1997.646094},
)
@inproceedings(kutrib:2014:arca,
 author       = {Martin Kutrib},
 year         = {2014},
 title        = {Aspects of Reversibility for Classical Automata},
 editor       = {C. S. Calude and G. R. Freivalds and K. Iwama},
 booktitle    = {Computing with New Resources},
 series       = {LNCS},
 volume       = {8808},
 publisher    = {Springer},
 pages        = {83--98},
 doi          = {10.1007/978-3-319-13350-8\_7},
)
@inproceedings(kutrib:2010:tpwcc,
 author       = {Martin Kutrib and Andreas Malcher},
 year         = {2011},
 title        = {Two-Party {W}atson-{C}rick Computations},
 booktitle    = {Implementation and Application of Automata (CIAA 2010)},
 series       = {LNCS},
 volume       = {6482},
 publisher    = {Springer},
 pages        = {191--200},
 doi          = {10.1007/978-3-642-18098-9\_21},
)
@article(kutrib:2012:rpda,
 author       = {Martin Kutrib and Andreas Malcher},
 year         = {2012},
 title        = {Reversible Pushdown Automata},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {78},
 pages        = {1814--1827},
 doi          = {10.1016/j.jcss.2011.12.004},
)
@article(kutrib:2017:owrmhfa,
 author       = {Martin Kutrib and Andreas Malcher},
 year         = {2017},
 title        = {One-way reversible multi-head finite automata},
 journal      = {Theor. Comput. Sci.},
 volume       = {682},
 pages        = {149--164},
 doi          = {10.1016/j.tcs.2016.11.006},
)
@inproceedings(kutrib:2022:rcoowca,
 author       = {Martin Kutrib and Andreas Malcher},
 year         = {2022},
 title        = {Reversible Computations of One-Way Counter Automata},
 editor       = {Henning Bordihn and G{\'{e}}za Horv{\'{a}}th and Gy{\"{o}}rgy Vaszil},
 booktitle    = {{NCMA} 2022},
 series       = {{EPTCS}},
 volume       = {367},
 pages        = {126--142},
 doi          = {10.4204/EPTCS.367.9},
)
@article(kutrib:2016:rqa,
 author       = {Martin Kutrib and Andreas Malcher and Matthias Wendlandt},
 year         = {2016},
 title        = {Reversible Queue Automata},
 journal      = {Fund. Inform.},
 volume       = {148},
 pages        = {341--368},
 doi          = {10.3233/FI-2016-1438},
)
@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},
)
@article(leupold:2010:ftwcsr,
 author       = {Peter Leupold and Benedek Nagy},
 year         = {2010},
 title        = {{$5'\to3'$} {W}atson-{C}rick Automata with Several Runs},
 journal      = {Fund. Inform.},
 volume       = {104},
 pages        = {71--91},
 doi          = {10.3233/FI-2010-336},
)
@article(morita:2011:twrmhfa,
 author       = {Kenichi Morita},
 year         = {2011},
 title        = {Two-Way Reversible Multi-Head Finite Automata},
 journal      = {Fund. Inform.},
 volume       = {110},
 pages        = {241--254},
 doi          = {10.3233/FI-2011-541},
)
@inproceedings(nagy:2007:ofpt3pswcfa:proc,
 author       = {Benedek Nagy},
 year         = {2007},
 title        = {On {$5'\to3'$} Sensing {W}atson-{C}rick Finite Automata},
 booktitle    = {{DNA} Computing},
 series       = {LNCS},
 volume       = {4848},
 publisher    = {Springer},
 pages        = {256--262},
 doi          = {10.1007/978-3-540-77962-9\_27},
)
@article(nagy:2013:h5s3sswcfal,
 author       = {Benedek Nagy},
 year         = {2013},
 title        = {On a hierarchy of 5{${'}$} {$\rightarrow$} 3{${'}$} sensing {W}atson-{C}rick finite automata languages},
 journal      = {J. Log. Comput.},
 volume       = {23},
 pages        = {855--872},
 doi          = {10.1093/logcom/exr049},
)
@article(nagy:2020:wkpa,
 author       = {Benedek Nagy},
 year         = {2020},
 title        = {5{${'}$}{$\rightarrow$}3{${'}$} Watson-Crick pushdown automata},
 journal      = {Inf. Sci.},
 volume       = {537},
 pages        = {452--466},
 doi          = {10.1016/j.ins.2020.06.031},
)
@article(nagy:2021:od1lswkfst,
 author       = {Benedek Nagy and Zita Kov{\'{a}}cs},
 year         = {2021},
 title        = {On deterministic 1-limited sensing 5{${'}$} {$\rightarrow$} 3{${'}$} Watson-Crick finite-state transducers},
 journal      = {{RAIRO} Theor. Informatics Appl.},
 volume       = {55},
 pages        = {5},
 doi          = {10.1051/ita/2021007},
)
@inproceedings(nagy:2017:answkac,
 author       = {Benedek Nagy and Shaghayegh Parchami and Hamid Mir Mohammad Sadeghi},
 year         = {2017},
 title        = {A New Sensing 5{${'}$} {$\rightarrow$} 3{${'}$} Watson-Crick Automata Concept},
 editor       = {Csuhaj{-}Varj{\'{u}}, Erzs{\'{e}}bet and P{\'{a}}l D{\"{o}}m{\"{o}}si and Gy{\"{o}}rgy Vaszil},
 booktitle    = {{AFL} 2017},
 series       = {{EPTCS}},
 volume       = {252},
 pages        = {195--204},
 doi          = {10.4204/EPTCS.252.19},
)