Hurd, J., McIver, A., & Morgan, C. (2005). Probabilistic guarded commands mechanized in HOL. Elsevier.
Lua i Stíl Chicago (17ú heag.)Hurd, J., A. McIver, agus C. Morgan. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
Lua MLA (9ú heag.)Hurd, J., et al. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.