Ambrósio, A., & 		Fonseca, D.
1990 out 24.  Especificação Formal de Instâncias Excepcionais. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :