Análise estruturada e especificação de sistemas / Tom Demarco; trad. Maria Beatriz Gomes V. de Carvalho