@inproceedings{EC209,
  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 = {Exploiting Concurrency Efficiently and Correctly, CAV 2009 Workshop},
  note = {Position paper},
  month = jun,
  year = 2009}