\bibitem{AlglaveCousot-POPL17}
Jade Alglave and Patrick Cousot.
\newblock Ogre and Pythia, An invariance proof method for weak consistency models.
\newblock In \emph{Conference Record of the 45$^{\mathrm{th}}$ Annual ACM
  SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  Paris, France, January 18-20, 2017. ACM Press, New York,
  NY, USA.

@inproceedings{CousotCousot-POPL17,
   author =    {P.~Cousot and R.~Cousot},
   title =     {Ogre and Pythia, An invariance proof method for weak consistency models},
   booktitle = {Conference Record of the 45$^{\mathrm{th}}$ Annual ACM 
                SIGPLAN-SIGACT Symposium on Principles of Programming 
                Languages},
   address =   {Paris, France},
   publisher = {ACM Press, New York, USA},
   month =     jan # " 18--20",
   year =      2017,
}