1. P. Cousot and R. Cousot. 2001. Compositional Separate Modular Static Analysis of Programs by Abstract Interpretation. In Proceedings of the Second International Conference on Advances in Infrastructure for E-Business, E-Science and E-Education on the Internet, SSGRR 2001. Scuola Superiore G. Reiss Romoli, Compact disk, L’Aquila, Italy.
2. Correct blame for contracts
3. Oh Lord, please don't let contracts be misunderstood (functional pearl)
4. Temporal higher-order contracts
5. Contracts for higher-order functions