Checking Mergeable Priority Queues (1994)

by Jonathan Bright, Gregory Sullivan
Venue:In Digest of the 24th Symposium on Fault-Tolerant Computing