P.: General reversibility (2007)

by V Danos, J Krivine, Sobociński
Venue:In: Express ’06, Electronic Notes in Theoretical Computer Science 175(3