@article{Olmedo:2013:TOPLAS,
  author = {Gilles Barthe and Boris K{\"o}pf and Federico Olmedo and Santiago
	Zanella-B{\'e}guelin},
  title = {Probabilistic Relational Reasoning for Differential Privacy},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {35},
  number = {3},
  issue_date = {November 2013},
  year = {2013},
  publisher = {ACM}
}