Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN. - Raul César B. Martins; Gustavo de O. Annarumma; Luiza Maria F. Carneiro; Arnaldo Hilário Viegas de Lima; Paschoal Molinari No.; Elisabete M. B. de la Quintana; Ronaldo Stern (SBES, 1989)