Ana Ambrósio and Décio Fonseca. 1990. Especificação Formal de Instâncias Excepcionais. In Anais do IV Simpósio Brasileiro de Engenharia de Software, outubro 24, 1990, Águas de São Pedro/São Paulo, Brasil. SBC, Porto Alegre, Brasil, 44-57. DOI: https://doi.org/10.5753/sbes.1990.24165.