Alessandra Di Pierro Chris Hankin Herbert Wiklicky Probabilistic /lambda-calculus and Quantitative Program Analysis. 159-179 2005 15 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exi008 db/journals/logcom/logcom15.html#PierroHW05