@inproceedings{zappanardelli+:rigorous-mm,
  author    = {Zappa Nardelli, Francesco and 
               Peter Sewell and 
               Jaroslav \v{S}ev\v{c}\'{\i}k and 
               Susmit Sarkar and 
               Scott Owens and 
               Luc Maranget and 
               Mark Batty and 
               Jade Alglave},
  title     = {Relaxed memory models must be rigorous},
  booktitle = {Proceedings of Exploiting Concurrency Efficiently and 
               Correctly -- ({EC})~${}^2$.  {CAV} 2009 Workshop}, 
  address   = {Grenoble, France},
  note      = {(4~page position paper)},
  year      = {2009},
  month     = jun,
}