Program algebra for quantitative information flow - McIver, A.K.; Morgan, C.C.; Rabehaja, T. (Journal of logical and algebraic methods in programming, 2019)