@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={Proceedings of the 40th International Colloquium on Automata, Languages and Programming -- Part II},
  series={Lecture Notes in Computer Science},
  volume={7966},
  pages={49-60},
  publisher={Springer},
  year={2013}
}