APA (7e ed.) Bronvermelding

Hurd, J., McIver, A., & Morgan, C. (2005). Probabilistic guarded commands mechanized in HOL. Elsevier.

Chicago (17e ed.) Bronvermelding

Hurd, J., A. McIver, en C. Morgan. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.

MLA (9e ed.) Bronvermelding

Hurd, J., et al. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.