Object-Oriented Software Construction. Prentice-Hall, 2nd edition (1997)

by Bertrand Meyer
Venue:In Proceedings of the 15th International Static Analysis Symposium (SAS’08), volume 5079 of Lecture Notes in Computer Science