@article{VYB:PLDI06,
 author = {Martin T. Vechev and Eran Yahav and David F. Bacon},
 title = {Correctness-preserving derivation of concurrent garbage collection algorithms},
 journal = {SIGPLAN Not.},
 volume = {41},
 number = {6},
 year = {2006},
 issn = {0362-1340},
 pages = {341--353},
 doi = {http://doi.acm.org/10.1145/1133255.1134022},
 publisher = {ACM},
 address = {New York, NY, USA},
 }