"Reversible Flowchart Languages and the Structured Reversible Program Theorem."

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