He, J., & Hoare, C. (1999). Linking Theories in Probabilistic Programming.
Chicago-čujuhus (17. p.)He, J., juo C. Hoare. Linking Theories in Probabilistic Programming. 1999.
MLA-čujuhus (9. p.)He, J., juo C. Hoare. Linking Theories in Probabilistic Programming. 1999.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.