Cordeiro, Virgínia, 		Sampaio, Augusto, E 		Meira, Silvio.
" Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (26 outubro 1994)