Calculating a Garbage Collector. - Ulrich Berger 001; Werner Meixner; Bernhard Möller (Methods of Programming, 1991)