Text this: Object-oriented specification and design with C++