@article(HA1991,
 author       = {H. Agrawal and R. A. DeMillo and E. H. Spafford},
 year         = {1991},
 title        = {{An Execution-Backtracking Approach to Debugging}},
 journal      = {{IEEE} Software},
 volume       = {8},
 number       = {3},
 pages        = {21--26},
 doi          = {10.1109/52.88940},
)
@article(BB1999,
 author       = {{B. Biswas and R. Mall}},
 year         = {1999},
 title        = {{Reverse Execution of Programs}},
 journal      = {{SIGPLAN Notices}},
 volume       = {34},
 number       = {4},
 pages        = {61--69},
 doi          = {10.1145/312009.312079},
)
@article(CC1999,
 author       = {C. D. Carothers and K. S. Perumalla and R. Fujimoto},
 year         = {1999},
 title        = {{Efficient Optimistic Parallel Simulations using Reverse Computation}},
 journal      = {{ACM Transactions on Modelling and Computer Simulation}},
 volume       = {9},
 number       = {3},
 pages        = {224--253},
 doi          = {10.1145/347823.347828},
)
@inproceedings(DC2016,
 author       = {D. Cingolani and M. Ianni and A. Pellegrini and F. Quaglia},
 title        = {{Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation}},
 booktitle    = {{RC 2016}},
 series       = {LNCS},
 volume       = {9720},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-40578-0_9},
)
@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(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},
)
@book(DG1981,
 author       = {D. Gries},
 year         = {1981},
 title        = {The Science of Programming},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-5983-1},
)
@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(RL1961,
 author       = {R. 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},
)
@misc(CL1986,
 author       = {C. Lutz},
 year         = {1986},
 title        = {Janus: {A} {T}ime-{R}eversible {L}anguage. {A} {L}etter to {D}r. {L}andauer},
 howpublished = {\url{http://tetsuo.jp/ref/janus.pdf}},
)
@book(KP2014,
 author       = {K. Perumalla},
 year         = {2014},
 title        = {{Introduction to Reversible Computing}},
 publisher    = {CRC Press},
)
@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(MS2016,
 author       = {M. Schordan and T. Oppelstrup and D. Jefferson and P. D. Barnes Jr. and D. J. Quinlan},
 year         = {2016},
 title        = {{Automatic Generation of Reversible {C++} Code and Its Performance in a Scalable Kinetic Monte-Carlo Application}},
 booktitle    = {{SIGSIM-PADS} 2016},
 publisher    = {{ACM}},
 pages        = {111--122},
 doi          = {10.1145/2901378.2901394},
)
@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 Lang-uage}},
 booktitle    = {Proceedings of the 5th Annual Conference on Computing Frontiers, 2008},
 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},
)