Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi. An Injective Language for Reversible Computation. In Dexter Kozen, Carron Shankland, editors, Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings. Volume 3125 of Lecture Notes in Computer Science, pages 289-313, Springer, 2004. [doi]
@inproceedings{MuHT04:0,
title = {An Injective Language for Reversible Computation},
author = {Shin-Cheng Mu and Zhenjiang Hu and Masato Takeichi},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=289},
researchr = {https://researchr.org/publication/MuHT04%3A0},
cites = {0},
citedby = {0},
pages = {289-313},
booktitle = {Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
editor = {Dexter Kozen and Carron Shankland},
volume = {3125},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22380-0},
}