A theory of reversibility for Erlang | Publicación