Loh, S., & 		Castilho, J.
1991 out 23.  O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :