Papers I love

• Out of the Tar Pit
• On Understanding Data Abstraction, Revisited
• An Axiomatic Basis for Computer Programming
• On understanding types, data abstraction, and polymorphism
• Design by Contract
• Higher order + Polymorphic = Reusable
• Recursive Functions of Symbolic Expressions and Their Computation by Machine
• Notation as a Tool of Thought