Object-Oriented Specification and Design With C++/Book and Disk (The McGraw-Hill International Series in Software Engineering)