Ferraz, Carlos, 		Cunha, Paulo, E 		Meira, Silvio.
" Simulação de Especificações LOTOS Usando Linguagens Funcionais" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (25 outubro 1989)