Automatic Certification of Java Source Code in Rewriting Logic | Publicación