Zarina Shukur. (1999). The Automatic assessment of Z specifications. School of Computer Science and IT, University of Nottingham.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Zarina Shukur. The Automatic Assessment of Z Specifications. Nottingham: School of Computer Science and IT, University of Nottingham, 1999.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Zarina Shukur. The Automatic Assessment of Z Specifications. School of Computer Science and IT, University of Nottingham, 1999.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.