An efficient parallel garbage collector and its correctness proof (1977)

by H T Kung, S Song