Cordeiro, Virgínia, Augusto Sampaio, and Silvio L. Meira.
" Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos." <em>Anais do VIII Simpósio Brasileiro de Engenharia de Software,
Curitiba/PR, 1994</em>. SBC, 1994,  
pp.143-158.