Rewriting logic: roadmap and bibliography | Publicación