"Principles of a reversible programming language."

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics