Loh, Stanley, AND 		Castilho, José.
" O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (23 October 1991)