Reversible Debugging of Erlang Programs in CauDEr | Publicación