@InCollection{Olmedo:2013:ICALP,
  author={Barthe, Gilles and Olmedo, Federico},
  title={Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs},
  booktitle={Automata, Languages, and Programming},
  series={Lecture Notes in Computer Science},
  volume={7966},
  pages={49-60}
  publisher={Springer Berlin Heidelberg},
  year={2013}
}