Okasaki's Real-Time Queues [Oka95c]
book.gif