Linking Theories in Probabilistic Programming.

Jifeng He C. A. R. Hoare Linking Theories in Probabilistic Programming. 205-218 1999 119 Inf. Sci. 3-4 db/journals/isci/isci119.html#JifengH99