Martins, Raul, Gustavo de O. Annarumma, Luiza M. F. Carneiro, Arnaldo V. de Lima, Paschoal Molinari No., Elisabete M. B. de la Quintana, and Ronaldo Stern.
" Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN." <em>Anais do III Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1989</em>. SBC, 1989,  
pp.201-213.