John L. Bruno, Phillip B. Gibbons, Steven Phillips: Testing Concurrent Data Structures (Abstract). PODC 1996: 124