Checking mergeable priority queues (1994)

by J D Bright, G F Sullivan
Venue:In Proceedings of the 24th Annual International Symposium on Fault-Tolerant Computing (FTCS’94