Especificação de um Gerenciador Orientado a Objetos. - Marcus Aurélio de Carvalho Macêdo; Décio Fonseca (SBES, 1989)