S. Loh and J. Castilho.
" 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>, Ouro Preto/MG, 1991, pp. 207-220, doi: <a href="https://doi.org/10.5753/sbes.1991.24268">https://doi.org/10.5753/sbes.1991.24268</a>.