@article{HerlihyLMW92,
 author = {Maurice Herlihy and Nancy Lynch and Michael Merritt and William Weihl},
 title = {On the correctness of orphan management algorithms},
 journal = {Journal of the ACM (JACM)},
 volume = {39},
 number = {4},
 year = {1992},
 issn = {0004-5411},
 pages = {881--930},
 doi = {http://doi.acm.org/10.1145/146585.146616},
 publisher = {ACM Press},
 }