Principles of Object Oriented Software Development by A. Eliens
Principles of Object-Oriented Software Development presents the full spectrum of object-oriented technology, paying equal attention to the underlying theory and to programming practice. It shows object-oriented concepts at work at all stages of the software life-cycle from analysis and design through programming. There are separate tutorial sections on C++, Smalltalk and Eiffel, together with a discussion of issues in the design of OOP languages. Advanced topics include behavioral refinement, concurrency and objects, verification and refinement, and OO application frameworks.