Ferramentas para linguagem de especificação LOTOS - Lima, Humberto Maia (1992)
Orientador: Mauricio Ferreira Magalhães