1. C. A. R. Hoare, An axiomatic basis for computer programming," Commun . ACM , 1969 . C. A. R. Hoare, An axiomatic basis for computer programming," Commun. ACM, 1969.
2. Contracts for System Design
3. D. Cofer and , Compositional Verification of Architectural Models," in NASA Formal Methods , 2012 . D. Cofer and et al., Compositional Verification of Architectural Models," in NASA Formal Methods, 2012.
4. M.-Y. Nam , D. de Niz , L. Wrage , and L. Sha , Resource allocation contracts for open analytic runtime models," in 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT) , 2011 , pp. 13 -- 22 . M.-Y. Nam, D. de Niz, L. Wrage, and L. Sha, Resource allocation contracts for open analytic runtime models," in 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT), 2011, pp. 13--22.
5. Alloy