Ferraz, C., 		Cunha, P., & 		Meira, S.
1989 out 25.  Simulação de Especificações LOTOS Usando Linguagens Funcionais. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :