توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Bundy, A. R. Automated deduction: CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings. Springer.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Bundy, Alan R. Automated Deduction: CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : Proceedings. Berlin [etc.]: Springer.

توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)

Bundy, Alan R. Automated Deduction: CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : Proceedings. Springer.