A. Ambrosio and F. Velasco.
" Um Sistema para Execução de Especificações JSD", in <em>Anais do II Simpósio Brasileiro de Engenharia de Software</em>, Canela/RS, 1988, pp. 96-105, doi: <a href="https://doi.org/10.5753/sbes.1988.24248">https://doi.org/10.5753/sbes.1988.24248</a>.