Stanley Loh and José Castilho. 1991.
 O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software. In <em>Anais do V Simpósio Brasileiro de Engenharia de Software</em>, outubro 23, 1991, Ouro Preto/MG, Brasil. SBC, Porto Alegre, Brasil, 207-220. DOI: <a href="https://doi.org/10.5753/sbes.1991.24268">https://doi.org/10.5753/sbes.1991.24268</a>.