Tetsuo Yokoyama; Robert Glück (2007). "A reversible programming language and its invertible self-interpreter". Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. New York, NY, USA: ACM: 144–153. doi:10.1145/1244381.1244404.
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert (5 May 2008). "Principles of a reversible programming language". Proceedings of the 5th conference on Computing frontiers. pp. 43–54. doi:10.1145/1366230.1366239. ISBN978-1-60558-077-7. S2CID14228334.
Paolini, Luca; Piccolo, Mauro; Roversi, Luca (2018). "A Certified Study of a Reversible Programming Language". Proc. 21st International Conference on Types for Proofs and Programs (TYPES 2015).: 7:1-7:21. doi:10.4230/LIPIcs.TYPES.2015.7.
semanticscholar.org
api.semanticscholar.org
Yokoyama, Tetsuo; Axelsen, Holger Bock; Glück, Robert (5 May 2008). "Principles of a reversible programming language". Proceedings of the 5th conference on Computing frontiers. pp. 43–54. doi:10.1145/1366230.1366239. ISBN978-1-60558-077-7. S2CID14228334.