An Eficient Par- allel Garbage Collection System and its Correct- ness Proof (1977)

by H T Kung, S W Song