A Structural Approach To Reversible Computation
S. Abramsky
Book Title
Theoretical Computer Science
Number
3
Pages
441−464
Volume
347
Year
2005
S. Abramsky