Calculating a garbage collector

U. Berger, W. Meixner, B. Möller

In M. Broy, M. Wirsing (eds.): Methodik des Programmierens, Methods of programming, LNCS 544.
pp. 137-192, 1991.
Springer-Verlag.