Object oriented specification and design with C++ - Henderson, Peter 1944- (McGraw-Hill, 1993)