Ambrósio, Ana, AND 		Fonseca, Décio.
" Especificação Formal de Instâncias Excepcionais" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (24 October 1990)