CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications | Publicación