Macêdo, Marcus, and Décio Fonseca.
" Especificação de um Gerenciador Orientado a Objetos." <em>Anais do III Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1989</em>. SBC, 1989,  
pp.325-339.