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

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