H. T. Kung, S. W. Song. An Efficient Parallel Garbage Collection System and Its Correctness Proof. In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA. pages 120-131, IEEE, 1977.
Abstract is missing.