Formal specifications in software maintenance: from code to Z++ and back again | Publicación