Correctnesspreserving derivation of concurrent garbage collection algorithms (2006)

by M T VECHEV, E YAHAV, D F BACON
Venue:In Proceedings of the ACM Conference on Programming Language Design and Implementation