"Critical Sections and Producer/Consumer Queues in Weak Memory Systems."

Lisa Higham, Jalal Kawash (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics