Metodologia para especificação e implementação de solução de gerenciamento - Clementi, Sérgio; Carvalho, Tereza Cristina Melo de Brito (Boletim Técnico da Escola Politécnica da USP. Departamento de Engenharia de Computação e Sistemas Digitais, 2004)