Walter Dosch. Deriving Different Views of an Interactive Double-Ended Bounded Queue. In Narayan C. Debnath, editor, Proceedings of the ISCA 18th International Conference Computers and Their Applications, Honolulu, Hawaii, USA, March 26-28, 2003. pages 397-403, ISCA, 2003.
Abstract is missing.