Ambrósio, Ana, E 		Fonseca, Décio.
" Especificação Formal de Instâncias Excepcionais" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (24 outubro 1990)