Chiba Ecoop00
Stoop 416-lsp
Wearing the hair shirt A retrospective on Haskell Simon Peyton Jones Microsoft Research, Cambridge.
Checking correctness properties of object-oriented programs K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 3 EEF summer school on Specification,
The Power of Abstraction Barbara Liskov October 2009.