@inbook{carette-2024-compositional, title={Compositional Reversible Computation}, ISBN={9783031620768}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-62076-8_2}, DOI={10.1007/978-3-031-62076-8_2}, booktitle={Reversible Computation}, publisher={Springer Nature Switzerland}, author={Carette, Jacques and Heunen, Chris and Kaarsgaard, Robin and Sabry, Amr}, year={2024}, pages={10–27} }