Mili, A. (1985). An introduction to formal program verification. Van Nostrand Reinhold.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Mili, Ali. An Introduction to Formal Program Verification. New York: Van Nostrand Reinhold, 1985.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Mili, Ali. An Introduction to Formal Program Verification. Van Nostrand Reinhold, 1985.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.