MILNE GEORGE. (1994). FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)MILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. NEW YORK: MCGRAW HILL, 1994.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)MILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL, 1994.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.