Ana Ambrosio and Flávio Velasco. 1988.
 Um Sistema para Execução de Especificações JSD. In <em>Proceedings of the 2nd Brazilian Symposium on Software Engineering</em>, October 27, 1988, Canela/RS, Brasil. SBC, Porto Alegre, Brasil, 96-105. DOI: <a href="https://doi.org/10.5753/sbes.1988.24248">https://doi.org/10.5753/sbes.1988.24248</a>.