David Clark Sebastian Hunt Pasquale Malacaria Quantitative Information Flow, Relations and Polymorphic Types. 181-199 2005 15 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exi009 db/journals/logcom/logcom15.html#ClarkHM05