Object-OrientedSoftwareConstruction

本书对OO理论进行了深入的介绍，与其它OO书籍不同的是本书特别强调软件质量。本书作者Meyer正是Design by Contract思想的提出者，个人认为Design by Contract会逐渐被主流的程序设计语言C#/Java等所支持，代表了未来的发展方向。