Cordeiro, V., 		Sampaio, A., & 		Meira, S.
1994 out 26.  Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :