An efficient parallel garbage collection system and its correctness proof (1977)

by H T Kung, S W Song
Venue:In IEEE Symposium on Foundations of Computer Science