S.W.: An efficient parallel garbage collection system and its correctness proof (1977)

by H T Kung, Song
Venue:In: FOCS