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

J. Boyland, Checking Interference with Fractional Permissions, Static Analysis Symposium, pp.55-72, 2003.
DOI : 10.1007/3-540-44898-5_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.322

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1994.

C. Haack, E. Poll, J. Schäfer, and A. Schubert, Immutable Objects for a Java-Like Language, European Symposium on Programming, pp.347-362, 2007.
DOI : 10.1007/978-3-540-71316-6_24

M. Huisman and C. Hurlin, The stability problem for verification of concurrent object-oriented programs, VAMP 2007: Proceedings of the 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00202930

D. Lea, Concurrent Programming in Java: Design Principles and Patterns, 1999.

G. T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby et al., Available from http, Progress, 2005.

J. Manson, W. Pugh, and S. V. Adve, The Java memory model, Principles of Programming Languages, pp.378-391, 2005.

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