Lecture notes for the course ”An introduction to separation logic”. Available at http://www.cs.cmu.edu/~jcr/www15818A4s2005/notes6.ps (2005)

by J C Reynolds