David Eisenstat: A two-enqueuer queue. CoRR abs/0805.0444 (2008)