Hurd, J., McIver, A., & Morgan, C. (2005). Probabilistic guarded commands mechanized in HOL. Elsevier.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रHurd, J., A. McIver, और C. Morgan. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
एमएलए (9वां संस्करण) प्रशस्ति पत्रHurd, J., et al. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.