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