A Reversible Semantics for Erlang | Publicación