AMBROSIO, Ana Maria; VELASCO, Flávio Roberto Dias. Um Sistema para Execução de Especificações JSD. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 2. , 1988, Canela/RS. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1988 . p. 96-105. DOI: https://doi.org/10.5753/sbes.1988.24248.