Ambrosio, Ana, and Flávio Roberto Dias Velasco.
" Um Sistema para Execução de Especificações JSD." <em>Anais do II Simpósio Brasileiro de Engenharia de Software,
Canela/RS, 1988</em>. SBC, 1988,  
pp.96-105.