References

---

Barbara Liskov, Data Abstraction and Hierarchy, SIGPLAN Notices, 23,5 (May 1988).

W. Al-Ahmad, On The Interaction of Programming By Contract and Liskov Substitution Principle.

Bertrand Meyer, Applying 'Design by Contract', IEEE Computer, Vol. 25 Number 10, October 1992, pp. 40 - 51.

Barbara H. Liskov, Jeannette M. Wing, A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, Vol 16, No 6, November 1994, pp. 1811-1841.

James O. Coplien, Advanced C++: Programming Styles and Idioms. Addison-Wesley Publishing Company, Reading, Massachusetts, 1992. ISBN: 0-201-54855-0

Barbara Liskov, John Guttag, Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, Boston, Massachusetts, 2001. ISBN: 0-201-65768-6

Robert C. Martin. Designing Object-Oriented C++ Applications Using The Booch Method. Prentice Hall, Englewood Cliffs, New Jersey, 1995. ISBN: 0-13-203837-4

Bertrand Meyer. Towards practical proofs of class correctness, to appear in Proc. 3rd International B and Z Users Conference (ZB 2003), Turku (Finland), June 2003, ed. Didier Bert, Springer-Verlag, 2003.

Bertrand Meyer. Object-Oriented Software Construction, Second Edition. Printice Hall PTR, Upper Saddle River, New Jersey 07458. ISBN: 0-13-629155-4

---