@inbook{Lanese_2020,
title={An Axiomatic Approach to Reversible Computation},
ISBN={9783030452315},
ISSN={1611-3349},
url={http://dx.doi.org/10.1007/978-3-030-45231-5_23},
DOI={10.1007/978-3-030-45231-5_23},
booktitle={Foundations of Software Science and Computation Structures},
publisher={Springer International Publishing},
author={Lanese,
Ivan and Phillips,
Iain and Ulidowski,
Irek},
year={2020},
pages={442–461} }