A Theory of Reversibility for Erlang | Publicación