A Larch speci cation of copying garbage collection (1992)

by S Nettles