A parallel garbage collection algorithm and ita correctness proof (1977)

by H T KUNG, SW SONG
Venue:In Proc. 18th Ann. Symp. Foundations of Computer Science, IEEE