Stanley Loh, José Mauro Volkmer de Castilho. O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software. In Roberto da Silva Bigonha, editor, Proceedings of the 5th Brazilian Symposium on Software Engineering, SBES 1991, Ouro Preto, MG, Brazil, October 23-25, 1991. pages 207-220, SBC, 1991. [doi]
Abstract is missing.