T. Altenkirch and J. Grattage, A Functional Quantum Programming Language, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005.
DOI : 10.1109/LICS.2005.1
URL : http://arxiv.org/abs/quant-ph/0409065

H. B. Axelsen, Clean Translation of an Imperative Reversible Programming Language, Proc. of ICCC 2011, 2011.
DOI : 10.1007/978-3-540-70583-3_22

H. B. Axelsen, R. Glück, and T. Yokoyama, Reversible Machine Code and Its Abstract Processor Architecture, Proc. of CSR'07, 2007.
DOI : 10.1007/978-3-540-74510-5_9

C. H. Bennett, Notes on the history of reversible computation, IBM Journal of Research and Development, vol.32, issue.1, 1988.

A. B. Brown and D. A. Patterson, Undo for operators: Building an undoable e-mail store, USENIX Annual Technical Conference, General Track. USENIX, 2003.

H. Buhrman, J. Tromp, and P. M. Vitányi, Time and space bounds for reversible simulation, Proc. of ICALP'01, 2001.
DOI : 10.1088/0305-4470/34/35/308
URL : http://arxiv.org/abs/quant-ph/0101133

V. Danos and J. Krivine, Reversible Communicating Systems, Proc. of CON- CUR'04, 2004.
DOI : 10.1007/BFb0012800
URL : https://hal.archives-ouvertes.fr/hal-00784051

V. Danos and L. Regnier, Reversible, irreversible and optimal lambda-machines, Theor. Comput. Sci, vol.227, issue.12, 1999.
DOI : 10.1016/s0304-3975(99)00049-3
URL : http://doi.org/10.1016/s0304-3975(99)00049-3

J. Field and C. A. Varela, Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, Proc. of POPL'05, 2005.

M. P. Frank, Introduction to reversible computing, Proceedings of the 2nd conference on Computing frontiers , CF '05, 2005.
DOI : 10.1145/1062261.1062324

I. Lanese, C. A. Mezzina, A. Schmitt, and J. B. Stefani, Controlling Reversibility in Higher-Order Pi, Proc. of CONCUR 2011, 2011.
DOI : 10.1007/11539452_31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.3113

I. Lanese, C. A. Mezzina, and J. B. Stefani, Reversing Higher-Order Pi, Proc. of CONCUR 2010, 2010.
DOI : 10.1007/978-3-642-15375-4_33

G. B. Leeman, A formal approach to undo operations in programming languages, ACM Transactions on Programming Languages and Systems, vol.8, issue.1, 1986.
DOI : 10.1145/5001.5005

M. Li and P. Vitanyi, An Introduction to Kolmogorov Complexity and Its Applications, 2008.
DOI : 10.1007/978-0-387-49820-1

M. F. Ringenburg and D. Grossman, AtomCaml: first-class atomicity via rollback, Proc. of ICFP'05, 2005.

P. Van-roy and S. Haridi, Concepts, Techniques and Models of Computer Programming, 2004.

P. M. Vitányi, Time, space, and energy in reversible computing, Proceedings of the 2nd conference on Computing frontiers , CF '05, 2005.
DOI : 10.1145/1062261.1062335

T. Yokoyama, Reversible Computation and Reversible Programming Languages, Electronic Notes in Theoretical Computer Science, vol.253, issue.6, 2010.
DOI : 10.1016/j.entcs.2010.02.007
URL : http://doi.org/10.1016/j.entcs.2010.02.007

T. Yokoyama and R. Glück, A reversible programming language and its invertible self-interpreter, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '07, 2007.
DOI : 10.1145/1244381.1244404