@misc {IOPORT.70760258,
    author       = {Alglave, Jade and Maranget, Luc},
    title        = {Stability in weak memory models},
    howpublished = {CAV, 50-66 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-22110-1_6},
    identifier   = {70760258},
}