Calculating a Garbage Collector
Ulrich Berger, Werner Meixner and Bernhard Möller

Abstract
The paper gives a calculational account of a garbage collection algorithm.

Bibtex entry

@InProceedings{Berger91a,
  author = 	 "Ulrich Berger and Werner Meixner and Bernhard M{\"o}ller",
  title = 	 "Calculating a Garbage Collector",
  volume =	 "544",
  series =	 "LNCS",
  pages =	 "137--192",
  booktitle =	 "Methods of Programming",
  year =	 "1991",
  publisher =	 sv}