Structured analysis - Weinberg, Victor (Prentice-Hall software series, 1980)