Buchanan, I. (1980). Modelling and verification in structured integrated circuit design.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Buchanan, Irene. Modelling and Verification in Structured Integrated Circuit Design. 1980.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Buchanan, Irene. Modelling and Verification in Structured Integrated Circuit Design. 1980.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.