1. Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: LICS, pp. 55–74. IEEE, Los Alamitos (2002)
2. Reynolds, J.C.: Intuitionistic reasoning about shared mutable data structure. In: Davies, J., Roscoe, B., Woodcock, J. (eds.) Millennial Perspectives in Computer Science, Houndsmill, Hampshire, Palgrave, pp. 303–321 (2000)
3. Isthiaq, S., O’Hearn, P.: BI as an assertion language for mutable data structures. In: POPL, London, pp. 39–46 (2001)
4. Lecture Notes in Computer Science;P. O’Hearn,2001
5. Lecture Notes in Computer Science;C. Calcagno,2001