The Science of Quantitative Information Flow - Alvim (Springer International Publishing, 2020)