"Towards a Reversible Functional Language."

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