Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti: Reversibility in Erlang: Imperative Constructs. RC 2022: 187-203