João J. C. Gondim. Visando o Reuso Formalmente Justificado de Especificações. In Jaelson Freire Brelaz De Castro, editor, Proceedings of the 9th Brazilian Symposium on Software Engineering, SBES 1995, Recife, PE, Brazil, October 3-6, 1995. pages 77-90, SBC, 1995. [doi]
Abstract is missing.