Cordeiro, V., 		Sampaio, A., & 		Meira, S.
1994 Oct 26.  Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :