Formal Aspects of Computing. Springer London.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Formal Aspects of Computing. Springer London.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Formal Aspects of Computing. Springer London.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.