Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück. Principles of a reversible programming language. In Alex Ramírez, Gianfranco Bilardi, Michael Gschwind, editors, Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia, Italy, May 5-7, 2008. pages 43-54, ACM, 2008. [doi]
Abstract is missing.