1. Biering, B.: On the logic of bunched implications and its relation to separation logic. Master’s thesis, University of Copenhagen (2004)
2. Birkedal, L., Torp-Smith, N., Reynolds, J.C.: Local reasoning about a copying garbage collector. In: Proceedings of the 31-st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004), Venice, Italy, pp. 220–231 (2004)
3. Bornat, R.: Local reasoning, separation and aliasing. In: Proceedings of the Second Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE 2004), Venice, Italy (January 2004)
4. Bornat, R., Calcagno, C., O’Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: Proceedings of POPL 2005, Long Beach, CA, USA, January 2005. ACM, New York (2005) Accepted for publication
5. Calcagno, C., O’Hearn, P.W., Bornat, R.: Program logic and equivalence in the presence of garbage collection. Theoretical Computer Science 298(3), 557–587 (2003)