J. Berdine, C. Calcagno, and P. W. O-'hearn, A decidable fragment of separation logic, Foundations of Software Technology and Theoretical Computer Science, 2004.

J. Berdine, C. Calcagno, and P. W. O-'hearn, Smallfoot: Modular automatic assertion checking with separation logic, Formal Methods for Components and Objects of Lecture Notes in Computer Science, 2005.
DOI : 10.1007/11804192_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.613

J. Berdine, C. Calcagno, and P. W. O-'hearn, Symbolic execution with separation logic, Asian Programming Languages and Systems Symposium, 2005.

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

J. Boyland, Checking interference with fractional permissions, Static Analysis Symposium, 2003.

R. Brochenin, S. Demri, and E. Lozes, On the almighty wand, Computer Science Logic, 2008.

C. Calcagno, H. Yang, and P. W. O-'hearn, Computability and complexity results for a spatial assertion language for data

W. Chin, C. David, H. Nguyen, and S. Qin, Enhancing modular OO verification with separation logic, Principles of Programming Languages, 2008.
DOI : 10.1145/1328438.1328452
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.6826

. Coq-development-team, The Coq proof assistant reference manual V8.0, 2004.

D. Distefano and M. Parkinson, jStar: Towards practical verification for Java, ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 2008.

D. Galmiche and D. Mery, Tableaux and resource graphs for separation logic, Journal of Logic and Computation, 2008.
DOI : 10.1093/logcom/exn066
URL : https://hal.archives-ouvertes.fr/hal-00580299

C. Haack and C. Hurlin, Separation logic contracts for a Java-like language with fork/join, Algebraic Methodology and Software Technology, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00218114

C. Haack and C. Hurlin, Resource usage protocols for iterators, Journal of Object Technology, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00410128

S. Ishtiaq and P. W. O-'hearn, BI as an assertion language for mutable data structures, Principles of Programming Languages, 2001.

B. Jacobs and F. Piessens, The verifast program verifier, 2008.

P. W. O-'hearn and D. J. Pym, The logic of bunched implications, Bulletin of Symbolic Logic, vol.5, issue.2, 1999.

M. Parkinson, Local reasoning for Java, 2005.

J. C. Reynolds, Separation logic: A logic for shared mutable data structures, Logic in Computer Science, 2002.

P. Wadler, A taste of linear logic, Mathematical Foundations of Computer Science, 1993.