Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos | Publicación