@inproceedings(VD2004,
 author       = {V. Danos and J. Krivine},
 year         = {2004},
 title        = {Reversible Communicating Systems},
 booktitle    = {{CONCUR} 2004, Proceedings},
 pages        = {292--307},
 doi          = {10.1007/978-3-540-28644-8_19},
)
@article(RJ1990,
 author       = {R. Fujimoto},
 year         = {1990},
 title        = {{Parallel Discrete Event Simulation}},
 journal      = {{Communications of the ACM}},
 volume       = {33},
 number       = {10},
 pages        = {30--53},
 doi          = {10.1145/84537.84545},
)
@inproceedings(EG2014,
 author       = {E. Giachino and I. Lanese and C.A. Mezzina},
 year         = {2014},
 title        = {Causal-Consistent Reversible Debugging},
 booktitle    = {Proceedings of {FASE} 2014},
 pages        = {370--384},
 doi          = {10.1007/978-3-642-54804-8_26},
)
@inproceedings(RG2004,
 author       = {R. Gl{\"{u}}ck and M. Kawabe},
 year         = {2004},
 title        = {{Derivation of Deterministic Inverse Programs Based on LR Parsing}},
 booktitle    = {{FLOPS 2004}},
 series       = {LNCS},
 volume       = {2998},
 publisher    = {Springer},
 pages        = {291--306},
 doi          = {10.1007/978-3-540-24754-8_21},
)
@article(RG2005,
 author       = {R. Gl{\"{u}}ck and M. Kawabe},
 year         = {2005},
 title        = {{Revisiting an Automatic Program Inverter for LISP}},
 journal      = {{SIGPLAN} Notices},
 volume       = {40},
 number       = {5},
 pages        = {8--17},
 doi          = {10.1145/1071221.1071222},
)
@article(RG2016,
 author       = {R. Gl{\"{u}}ck and T. Yokoyama},
 year         = {2016},
 title        = {A Linear-Time Self-Interpreter of a Reversible Imperative Language},
 journal      = {Computer Software},
 volume       = {33},
 number       = {3},
 pages        = {3_108--3_128},
 doi          = {10.11309/jssst.33.3_108},
)
@article(RG2017,
 author       = {R. Gl{\"{u}}ck and T. Yokoyama},
 year         = {2017},
 title        = {A Minimalist's Reversible While Language},
 volume       = {E100.D},
 pages        = {1026--1034},
 doi          = {10.1587/transinf.2016EDP7274},
)
@book(DG1981,
 author       = {D. Gries},
 year         = {1981},
 title        = {The Science of Programming},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-5983-1},
)
@article(TH2017,
 author       = {T. Haulund},
 year         = {2017},
 title        = {Design and Implementation of a Reversible Object-Oriented Programming Language},
 journal      = {CoRR},
 volume       = {abs/1707.07845},
 url          = {http://arxiv.org/abs/1707.07845},
)
@inproceedings(JH2017,
 author       = {J. Hoey and I. Ulidowski and S. Yuen},
 year         = {2017},
 title        = {Reversing Imperative Parallel Programs},
 booktitle    = {{\rm Proceedings of} Express/SOS, {\rm 2017}},
 series       = {EPTCS},
 volume       = {255},
 pages        = {51--66},
 doi          = {10.4204/EPTCS.255.4},
)
@book(HH2010,
 author       = {H. H{\"{u}}ttel},
 year         = {2010},
 title        = {{Transitions and Trees - An Introduction to Structural Operational Semantics}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511840449},
)
@article(DJ1985,
 author       = {D.R. Jefferson},
 year         = {1985},
 title        = {Virtual Time},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {7},
 number       = {3},
 pages        = {404--425},
 doi          = {10.1145/3916.3988},
)
@article(IL2014,
 author       = {I. Lanese and C.A. Mezzina and F. Tiezzi},
 year         = {2014},
 title        = {Causal-Consistent Reversibility},
 journal      = {Bulletin of the {EATCS}},
 volume       = {114},
)
@book(KP2014,
 author       = {K. Perumalla},
 year         = {2014},
 title        = {{Introduction to Reversible Computing}},
 publisher    = {CRC Press},
 doi          = {10.1201/b15719},
)
@article(IP2007,
 author       = {I.C.C. Phillips and I. Ulidowski},
 year         = {2007},
 title        = {{Reversing Algebraic Process Calculi}},
 journal      = {J. Log. Algebr. Program.},
 volume       = {73},
 number       = {1-2},
 pages        = {70--96},
 doi          = {10.1016/j.jlap.2006.11.002},
)
@inproceedings(IP2012,
 author       = {I.C.C. Phillips and I. Ulidowski and S. Yuen},
 year         = {2012},
 title        = {{A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway}},
 booktitle    = {RC2012},
 series       = {LNCS},
 volume       = {7581},
 publisher    = {Springer},
 pages        = {218--232},
 doi          = {10.1007/978-3-642-36315-3_18},
)
@inproceedings(MS2015,
 author       = {M. Schordan and D.R. Jefferson and P.D. Barnes Jr. and T. Oppelstrup and D.J. Quinlan},
 year         = {2015},
 title        = {{Reverse Code Generation for Parallel Discrete Event Simulation}},
 booktitle    = {{RC} 2015},
 series       = {LNCS},
 volume       = {9138},
 publisher    = {Springer},
 pages        = {95--110},
 doi          = {10.1007/978-3-319-20860-2_6},
)
@inproceedings(US2016,
 author       = {U.P. Schultz and H.B. Axelsen},
 year         = {2016},
 title        = {Elements of a Reversible Object-Oriented Language - Work-in-Progress Report},
 booktitle    = {Reversible Computation - 8th International Conference, {RC} 2016, Proceedings},
 pages        = {153--159},
 doi          = {10.1007/978-3-319-40578-0_10},
)
@inproceedings(GV2011,
 author       = {G. Vulov and C. Hou and R.W. Vuduc and R. Fujimoto and D.J. Quinlan and D.R. Jefferson},
 year         = {2011},
 title        = {{The Backstroke Framework for Source Level Reverse Computation Applied to Parallel Discrete Event Simulation}},
 booktitle    = {WSC 2011},
 publisher    = {{WSC}},
 doi          = {10.1109/WSC.2011.6147998},
)
@inproceedings(TY2008A,
 author       = {T. Yokoyama and H.B. Axelsen and R. Gl{\"{u}}ck},
 year         = {2008},
 title        = {{Principles of a Reversible Programming Language}},
 booktitle    = {Proceedings of the 5th Conference on Computing Frontiers},
 publisher    = {{ACM}},
 pages        = {43--54},
 doi          = {10.1145/1366230.1366239},
)
@inproceedings(TY2007,
 author       = {T. Yokoyama and R. Gl{\"{u}}ck},
 year         = {2007},
 title        = {{A Reversible Programming Language and its Invertible Self-interpreter}},
 booktitle    = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-based Program Manipulation},
 publisher    = {{ACM}},
 pages        = {144--153},
 doi          = {10.1145/1244381.1244404},
)