H. G. Baker, NRVERSAL of fortune -the thermodynamics of garbage collection, 1992.

C. H. Bennett, Logical Reversibility of Computation, IBM Journal of Research and Development, vol.17, issue.6, 1973.
DOI : 10.1147/rd.176.0525

C. H. Bennett, Time-space tradeoffs for reversible computation, SIAM J. Comput, 1989.
DOI : 10.1137/0218053

D. Berson, R. Gupta, and M. L. Soffa, Ursa: A unified resource allocator for registers and functional units in vliw architectures, Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1992.

D. A. Berson, R. Gupta, and M. L. Soffa, Integrated Instruction Scheduling and Register Allocation Techniques, Proc. of the Eleventh International Workshop on Languages and Compilers for Parallel Computing, 1998.
DOI : 10.1007/3-540-48319-5_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.2920

P. G. Bishop, Using reversible computing to achieve fail-safety, Proceedings The Eighth International Symposium on Software Reliability Engineering, 1997.
DOI : 10.1109/ISSRE.1997.630863

S. Burckel and E. Gioan, In Situ Design of Register Operations, 2008 IEEE Computer Society Annual Symposium on VLSI, 2008.
DOI : 10.1109/ISVLSI.2008.62
URL : https://hal.archives-ouvertes.fr/lirmm-00287659

S. Chen, W. K. Fuchs, and J. Chung, Reversible debugging using program instrumentation, IEEE Trans. Softw. Eng, 2001.

R. P. Dilworth, A decomposition theorem for partially ordered sets, Ann. of Math, 1950.

M. P. Frank, The R programming language and compiler, MIT RC Proj. Memo #M8, 1997.

M. P. Frank, The physical limits of computing, Computing in Science & Engineering, vol.4, issue.3, 2002.
DOI : 10.1109/5992.998637

M. Iri, K. Tanabe, K. Academic, and A. Griewank, On automatic differentiation [13] k. Perumalla and R. Fujimoto. Source-code transformations for efficient reversibility, Mathematical Programming: Recent Developments and Applications, 1989.

T. F. Knight, F. R. Morgenthaler, C. J. Vieri, and C. J. Vieri, Pendulum: A reversible computer architecture, 1995.

T. Koju, S. Takada, and N. Doi, An efficient and generic reversible debugger using the virtual machine based approach, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments , VEE '05, 2005.
DOI : 10.1145/1064979.1064992
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.483.17

R. Královic, Time and space complexity of reversible pebbling, SOFSEM '01: Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, 2001.

R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Development, 1961.

C. Lutz and H. Derby, Janus: a time-reversible language. Caltech class project, 1982.

D. Maslov and G. W. Dueck, Reversible Cascades With Minimal Garbage, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.23, issue.11, 2004.
DOI : 10.1109/TCAD.2004.836735

P. Matherat and M. T. , Logical Dissipation of Automata Implements -Dissipation of Computation, Technique et Science Informatiques, 1996.

U. Naumann, On optimal DAG reversal, 2007.

]. P. 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

H. Yang, G. R. Gao, and C. Leung, On achieving balanced power consumption in software pipelined loops, Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems , CASES '02, 2002.
DOI : 10.1145/581630.581663