A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet et al., Contracts for system design, Foundations and Trends R in Electronic Design Automation, vol.12, issue.2-3, pp.124-400, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01971429

F. Bujtor, S. Fendrich, G. Lüttgen, and W. Vogler, Nondeterministic modal interfaces, SOFSEM 2015: Theory and Practice of Computer Science -41st International Conference on Current Trends in Theory and Practice of Computer Science, pp.152-163, 2015.

T. A. Luca-de-alfaro and . Henzinger, Interface automata, SIGSOFT Softw. Eng. Notes, vol.26, issue.5, pp.109-120, 2001.

R. B. Findler, M. Latendresse, and M. Felleisen, Behavioral contracts and behavioral subtyping, ACM Conference Foundations of Software Engineering, 2001.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-583, 1969.

B. Meyer, Applying "design by contract", IEEE Computer, vol.25, issue.10, pp.40-51, 1992.

B. Meyer, Touch of Class: Learning to Program Well Using Object Technology and Design by Contract, 2009.

W. Peter and . O'hearn, Separation logic, Commun. ACM, vol.62, issue.2, pp.86-95, 2019.

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., A modal interface theory for component-based design, Fundamenta Informaticae, vol.108, issue.1-2, pp.119-149, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00554283