@misc{alglave+:fences-fmsd,
title     = {Fences in Weak Memory Models (Extended Version)},
author    = {Jade Alglave and
             Luc Maranget and
             Susmit Sarkar and
             Peter Sewell},
howpublished = {Accepted for publication in Formal Methods in System Design (FMSD), 2011},
note      = {\textsl{Invited submission for the CAV'10 special issue}},
}