B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

B. Meyer, Eiffel: applying the principles of object-oriented design, Computer Language, vol.5, issue.5, pp.81-87, 1988.

L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. R. Kiniry et al., An overview of JML tools and applications, Workshop on Formal Methods for Industrial Critical Systems, pp.73-89, 2003.
DOI : 10.1007/s10009-004-0167-4

M. Barnett, K. R. Leino, and W. Schulte, The Spec# Programming System: An Overview, Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices, pp.151-171, 2004.
DOI : 10.1007/978-3-540-30569-9_3

Y. Cheon, A Runtime Assertion Checker for the Java Modeling Language, 2003.

P. Chalin, J. R. Kiniry, G. T. Leavens, and E. Poll, Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2, Formal Methods for Components and Objects, pp.342-363, 2006.
DOI : 10.1007/11804192_16

M. Barnett, B. E. Chang, R. Deline, B. Jacobs, and K. R. Leino, Boogie: A Modular Reusable Verifier for Object-Oriented Programs, Formal Methods for Components and Objects, 2005.
DOI : 10.1007/11804192_17

Y. Cheon and A. Perumandla, Specifying and checking method call sequences of Java programs, Software Quality Journal, vol.21, issue.1, pp.7-25, 2007.
DOI : 10.1007/s11219-006-9001-4

M. Parkinson, Local Reasoning for Java, 2005.

C. Haack and C. Hurlin, Separation Logic Contracts for a Java-Like Language with Fork/Join, Algebraic Methodology and Software Technology, number 5140 in LNCS, pp.199-215, 2008.
DOI : 10.1007/978-3-540-79980-1_16
URL : https://hal.archives-ouvertes.fr/inria-00218114

J. C. Reynolds, Separation logic: a logic for shared mutable data structures, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002.
DOI : 10.1109/LICS.2002.1029817

R. Bornat, P. W. O-'hearn, C. Calcagno, and M. Parkinson, Permission accounting in separation logic, Principles of Programming Languages, pp.259-270, 2005.

C. Haack and C. Hurlin, Separation Logic Contracts for a Java-Like Language with Fork/Join, 2008.
DOI : 10.1007/978-3-540-79980-1_16
URL : https://hal.archives-ouvertes.fr/inria-00218114

D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, Jass ? Java with assertions, ENTCS, vol.55, 2001.