Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi: Quantitative Information Flow and Applications to Differential Privacy. FOSAD 2011: 211-230