Linking Theories in Probabilistic Programming (Inf. Sci., 1999)

(untitled) - He, J; Hoare, C