Spivey, M. (1996). An Introduction To Logic Programming Through Prolog Micahel Spivey. Prentice-Hall.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Spivey, Michael. An Introduction To Logic Programming Through Prolog Micahel Spivey. Prentice-Hall, 1996.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Spivey, Michael. An Introduction To Logic Programming Through Prolog Micahel Spivey. Prentice-Hall, 1996.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.