"Describing and Optimising Reversible Logic Using a Functional Language."

Michael Kirkedal Thomsen (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics