Ambrosio, Ana, AND 		Velasco, Flávio.
" Um Sistema para Execução de Especificações JSD" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (27 October 1988)