@TechReport{Cohen:BRTSB09,
  title =        "A Better Reduction Theorem for Store Buffers",
  author =       "Ernie Cohen and Norbert Schirmer",
  month =        sep,
  year =         "2009",
  number =       "arXiv:0909.4637",
  institution =  "arXiv",
  ee =           "http://arxiv.org/abs/0909.4637",
  URL =          "http://arxiv.org/pdf/0909.4637v1&.pdf",
}