@inproceedings{alglave+:powerarm09,
  author =       {Jade Alglave and 
                  Anthony Fox and 
                  Samin Ishtiaq and 
                  Magnus O. Myreen and 
                  Susmit Sarkar and 
                  Peter Sewell and 
                  Zappa Nardelli, Francesco},
  title =        {The Semantics of {Power} and {ARM} Multiprocessor Machine Code},
  year =         {2009},
  booktitle =    {DAMP 2009: Workshop on Declarative Aspects of Multicore Programming},
  pages =        {13--24},
  month =        jan,
}