Martins, Raul, 		Annarumma, Gustavo, 		Carneiro, Luiza, 		Lima, Arnaldo, 		Molinari No., Paschoal, 		la Quintana, Elisabete, E 		Stern, Ronaldo.
" Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (25 outubro 1989)