Object-oriented specification and design with C++ - Henderson, Peter, 1944- (The McGraw-Hill international series in software engineering., 1993)