"Fundamentals of reversible flowchart languages."

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