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