@inproceedings(AxGl11LATA,
 author       = {Holger Bock Axelsen and Robert Gl{\"u}ck},
 year         = {2011},
 title        = {A simple and efficient universal reversible {Turing} machine},
 editor       = {Adrian-Horia Dediu and Shunsuke Inenaga and Mart\'{i}n-Vide, Carlos},
 booktitle    = {Language and Automata Theory and Applications. Proceedings},
 series       = {LNCS},
 volume       = {6638},
 publisher    = {Springer-Verlag},
 pages        = {117--128},
 doi          = {10.1007/978-3-642-21254-3\_8},
)
@inproceedings(AxYo15:sort,
 author       = {Holger Bock Axelsen and Tetsuo Yokoyama},
 year         = {2015},
 title        = {Programming techniques for reversible comparison sorts},
 editor       = {Xinyu Feng and Sungwoo Park},
 booktitle    = {APLAS},
 series       = {LNCS},
 volume       = {9458},
 publisher    = {Springer-Verlag},
 pages        = {407--426},
 doi          = {10.1007/978-3-319-26529-2_22},
)
@article(Bennett:73,
 author       = {Charles H. Bennett},
 year         = {1973},
 title        = {Logical reversibility of computation},
 journal      = {IBM J. Res. Dev.},
 volume       = {17},
 number       = {6},
 pages        = {525--532},
 doi          = {10.1147/rd.176.0525},
)
@book(CLRS09:intro-alg,
 author       = {Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest and Clifford Stein},
 year         = {2009},
 title        = {Introduction to Algorithms},
 edition      = {3rd},
 publisher    = {MIT Press},
 address      = {Cambridge, MA},
)
@inproceedings(Angelis:22,
 author       = {De Angelis, Emanuele and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
 year         = {2022},
 title        = {Contract strengthening through constrained {Horn} clause verification},
 booktitle    = {HCVS/VPT'22},
 pages        = {23--34},
 note         = {{EPTCS (to appear)}},
)
@article(DeVos:20,
 author       = {De Vos, Alexis},
 year         = {2020},
 title        = {Endoreversible models for the thermodynamics of computing},
 journal      = {Entropy},
 volume       = {22},
 number       = {6},
 pages        = {Article 660},
 doi          = {10.3390/e22060660},
)
@inproceedings(GlueckKlimov:94:LMMC,
 author       = {Robert Gl{\"u}ck and Andrei V. Klimov},
 year         = {1994},
 title        = {Metacomputation as a tool for formal linguistic modeling},
 editor       = {Robert Trappl},
 booktitle    = {Cybernetics and Systems '94},
 volume       = {2},
 publisher    = {World Scientific},
 pages        = {1563--1570},
)
@article(GlYo19:IPL,
 author       = {Robert Gl{\"u}ck and Tetsuo Yokoyama},
 year         = {2019},
 title        = {Constructing a binary tree from its traversals by reversible recursion and iteration},
 journal      = {IPL},
 volume       = {147},
 pages        = {32--37},
 doi          = {10.1016/j.ipl.2019.03.002},
)
@article(GlYo22:RPLA,
 author       = {Robert Gl\"uck and Tetsuo Yokoyama},
 year         = {2022},
 title        = {Reversible computing from a programming language perspective},
 journal      = {Theor. Comput. Sci.},
 note         = {In Press},
)
@article(KaRa87,
 author       = {Richard M. Karp and Michael O. Rabin},
 year         = {1987},
 title        = {Efficient randomized pattern-matching algorithms},
 journal      = {IBM J. Res. Dev.},
 volume       = {31},
 number       = {2},
 pages        = {249--260},
 doi          = {10.1147/rd.312.0249},
)
@article(Krakovsky:21,
 author       = {Marina Krakovsky},
 year         = {2021},
 title        = {Taking the heat},
 journal      = {Commun. ACM},
 volume       = {64},
 number       = {6},
 pages        = {18--20},
 doi          = {10.1145/3460214},
)
@article(LaMT00,
 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},
)
@book(Lieb15,
 author       = {Martin Liebeck},
 year         = {2015},
 title        = {A Concise Introduction to Pure Mathematics},
 edition      = {4th},
 publisher    = {Chapman and Hall/CRC},
)
@article(Mogensen:22,
 author       = {Torben {\AE}. Mogensen},
 year         = {2022},
 title        = {Hermes: {A} reversible language for lightweight encryption},
 journal      = {Science of Computer Programming},
 volume       = {215},
 pages        = {Article 102746},
 doi          = {10.1016/j.scico.2021.102746},
)
@article(Nakano:22:timesymmetric,
 author       = {Keisuke Nakano},
 year         = {2022},
 title        = {Time-symmetric {Turing} machines for computable involutions},
 journal      = {Science of Computer Programming},
 volume       = {215},
 pages        = {Article 102748},
 doi          = {10.1016/j.scico.2021.102748},
)
@article(OOCG20,
 author       = {Francisco Orts and Gloria Ortega and El{\'i}as F. Combarro and Ester M. Garz{\'o}n},
 year         = {2020},
 title        = {A review on reversible quantum adders},
 journal      = {J. Netw. Comput. Appl.},
 volume       = {170},
 pages        = {102810},
 doi          = {10.1016/j.jnca.2020.102810},
)
@inproceedings(PePh15,
 author       = {Tommi Pesu and Iain Phillips},
 year         = {2015},
 title        = {Real-time methods in reversible computation},
 editor       = {Jean Krivine and Jean-Bernard Stefani},
 booktitle    = {RC},
 series       = {LNCS},
 volume       = {9138},
 publisher    = {Springer},
 pages        = {45--59},
 doi          = {10.1007/978-3-319-20860-2\_3},
)
@article(ReillyFederighi:65,
 author       = {Edwin D. Reilly, Jr. and Francis D. Federighi},
 year         = {1965},
 title        = {On reversible subroutines and computers that run backwards},
 journal      = {Commun. ACM},
 volume       = {8},
 number       = {9},
 pages        = {557--558, 578},
 doi          = {10.1145/365559.365593},
)
@article(TaHY22:eng,
 author       = {Kaira Tanizaki and Masaki Hiraku and Tetsuo Yokoyama},
 year         = {2022},
 title        = {Reversibilization of the naive string-match algorithm and the Rabin--Karp algorithm},
 journal      = {Academia. Sciences and Engineering: Journal of the Nanzan Academic Society},
 volume       = {22},
 number       = {3},
 pages        = {124--132},
 doi          = {10.15119/00003946},
 note         = {In Japanese},
)
@inproceedings(ThAxGl:11:RC,
 author       = {Michael Kirkedal Thomsen and Holger Bock Axelsen and Robert Gl{\"u}ck},
 year         = {2012},
 title        = {A reversible processor architecture and its reversible logic design},
 editor       = {De Vos, Alexis and Robert Wille},
 booktitle    = {RC},
 series       = {LNCS},
 volume       = {7165},
 publisher    = {Springer-Verlag},
 pages        = {30--42},
 doi          = {10.1007/978-3-642-29517-1\_3},
)
@inproceedings(YoAG08a:CF,
 author       = {Tetsuo Yokoyama and Holger Bock Axelsen and Robert Gl\"{u}ck},
 year         = {2008},
 title        = {Principles of a reversible programming language},
 booktitle    = {Computing Frontiers. Proceedings},
 publisher    = {ACM {Press}},
 pages        = {43--54},
 doi          = {10.1145/1366230.1366239},
)
@article(YoAxGl:16:TCS,
 author       = {Tetsuo Yokoyama and Holger Bock Axelsen and Robert Gl{\"u}ck},
 year         = {2016},
 title        = {Fundamentals of reversible flowchart languages},
 journal      = {Theor. Comput. Sci.},
 volume       = {611},
 pages        = {87--115},
 doi          = {10.1016/j.tcs.2015.07.046},
)
@inproceedings(YokoyamaGlueck:07:Janus,
 author       = {Tetsuo Yokoyama and Robert Gl{\"u}ck},
 year         = {2007},
 title        = {A reversible programming language and its invertible self-interpreter},
 booktitle    = {PEPM},
 publisher    = {ACM Press},
 pages        = {144--153},
 doi          = {10.1145/1244381.1244404},
)