Phillip B. Gibbons John L. Bruno Steven Phillips Post-Mortem Black-Box Correctness Tests for Basic Parallel Data Structures. 44-53 1999 SPAA http://doi.acm.org/10.1145/305619.305625 db/conf/spaa/spaa99.html#GibbonsBP99