Eric Koskinen Maurice Herlihy Dreadlocks: efficient deadlock detection. 297-303 2008 SPAA http://doi.acm.org/10.1145/1378533.1378585 conf/spaa/2008 db/conf/spaa/spaa2008.html#KoskinenH08a