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