"Reversible Programs Have Reversible Semantics."

Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics