(1991). Specification and compositional verification of real-time systems / J. Hooman.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Specification and Compositional Verification of Real-time Systems / J. Hooman. 1991.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Specification and Compositional Verification of Real-time Systems / J. Hooman. 1991.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.