Black-Box Correctness Tests for Basic Parallel Data Structures | Publicación