Ferraz, C., 		Cunha, P., & 		Meira, S.
1989 Oct 25.  Simulação de Especificações LOTOS Usando Linguagens Funcionais. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :