MACÊDO, Marcus Aurélio de Carvalho; FONSECA, Décio. Especificação de um Gerenciador Orientado a Objetos. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 3. , 1989, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1989 . p. 325-339. DOI: https://doi.org/10.5753/sbes.1989.25269.