@Article{Barthe:2013:TOPLAS,
  author    = "Gilles Barthe and
               Boris K{\'o}pf and
               Federico Olmedo and
               Santiago Zanella-B├ęguelin",
  title     = "Probabilistic Relational Reasoning for Differential Privacy",
  journal   = "ACM Trans. Program. Lang. Syst.",
  publisher = "ACM", 
  year      = "2013",
  note      = "To appear"
}