Ferraz, Carlos, Paulo R. F. Cunha, and Silvio R. L. Meira.
" Simulação de Especificações LOTOS Usando Linguagens Funcionais." <em>Anais do III Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1989</em>. SBC, 1989,  
pp.17-30.