1. J.C. Reynolds, Intuitionistic reasoning about shared mutable data structure, in: Millennial Perspectives in Computer Science, Palgrave, 2000
2. BI as an assertion language for mutable data structures;Ishtiaq,2001
3. Separation logic: A logic for shared mutable data structures;Reynolds,2002
4. Local reasoning about programs that alter data structures;O’Hearn,2001
5. J.C. Reynolds, Lectures on reasoning about shared mutable data structure, in: IFIP Working Group 2.3 School/Seminar on State-of-the-Art Program Design Using Logic, Tandil, Argentina, September 6–13, 2000