A parallel priority queue with constant time operations
scientific article; zbMATH DE number 1192552