Reversibility in Erlang: imperative constructs
scientific article; zbMATH DE number 7615950