Kutrib, Martin2023-09-212023-09-212023978-3-031-38099-0978-3-031-38100-3https://publica.fraunhofer.de/handle/publica/45089710.1007/978-3-031-38100-3enReversible Computation