APA (7th ed.) Citation

He, J., & Hoare, C. (1999). Linking Theories in Probabilistic Programming.

Chicago Style (17th ed.) Citation

He, J., and C. Hoare. Linking Theories in Probabilistic Programming. 1999.

MLA (9th ed.) Citation

He, J., and C. Hoare. Linking Theories in Probabilistic Programming. 1999.

Warning: These citations may not always be 100% accurate.