Hurd, J., McIver, A., & Morgan, C. (2005). Probabilistic guarded commands mechanized in HOL. Elsevier.
Style de citation Chicago (17e éd.)Hurd, J., A. McIver, et C. Morgan. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
Style de citation MLA (9e éd.)Hurd, J., et al. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
Attention : ces citations peuvent ne pas être correctes à 100%.