Software specification and design : - Keller, Marilyn 1956- (Wiley series in software engineering practice, 1992)