A Structural Approach to Reversible Computation (2001)

by Samson Abramsky
Venue:Theoretical Computer Science