@inproceedings{paper79, title = "A Structural Approach To Reversible Computation", author = "S. Abramsky", year = "2005", booktitle = "Theoretical Computer Science", number = "3", pages = "441-464", volume = "347", }