Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings - Martin Kutrib; Meyer, Uwe (Springer Nature, 2023)