Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi: Probabilistic Information Flow. LICS 2010: 314-321