Ferraz, Carlos, Paulo R. F. Cunha, and Silvio R. L. Meira.
" Simulação de Especificações LOTOS Usando Linguagens Funcionais." <em>Proceedings of the 3rd Brazilian Symposium on Software Engineering,
Recife/PE, 1989</em>. SBC, 1989,  
pp.17-30.