A proof system for object oriented programming using separation logic

Cite it as

@mastersthesis{middelkoop2003proof,
  title        = {A proof system for object oriented programming using separation logic},
  author       = {Ronald Middelkoop},
  year         = {2003},
  publisher    = {Technische Universiteit Eindhoven},
}