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