Loh, Stanley, and José Mauro Volkmer de Castilho.
" O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software." <em>Anais do V Simpósio Brasileiro de Engenharia de Software,
Ouro Preto/MG, 1991</em>. SBC, 1991,  
pp.207-220.