"Relaxed memory models: an operational approach."

Gérard Boudol, Gustavo Petri (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics