Linking Theories in Probabilistic Programming - He, J; Hoare, C (Inf. Sci., 1999)