Ferraz, Carlos, 		Cunha, Paulo, AND 		Meira, Silvio.
" Simulação de Especificações LOTOS Usando Linguagens Funcionais" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (25 October 1989)