Delahaye, J. (1987). Formal methods in artificial intelligence. North Oxford.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Delahaye, Jean-Paul. Formal Methods in Artificial Intelligence. London: North Oxford, 1987.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Delahaye, Jean-Paul. Formal Methods in Artificial Intelligence. North Oxford, 1987.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.