Ana Maria Ambrosio, Flávio Roberto Dias Velasco. Um Sistema para Execução de Especificações JSD. In Ana Regina Cavalcanti da Rocha, editor, Proceedings of the 2nd Brazilian Symposium on Software Engineering, SBES 1988, Canela, RS, Brazil, October 27-28, 1988. pages 96-105, SBC, 1988. [doi]
Abstract is missing.