Gondim, J.
1995 Oct  3.  Visando o Reuso Formalmente Justificado de Especificações. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :