Loh, Stanley, E 		Castilho, José.
" O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (23 outubro 1991)