He, J., & Hoare, C. (1999). Linking Theories in Probabilistic Programming.
Chicago-referens (17:e uppl.)He, J., och C. Hoare. Linking Theories in Probabilistic Programming. 1999.
MLA-referens (9:e uppl.)He, J., och C. Hoare. Linking Theories in Probabilistic Programming. 1999.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.