Deriving Different Views of an Interactive Double-Ended Bounded Queue.
An Optimal RAM Implementation of Catenable Min Double-ended Queues.