International Conference AISMC-1 (1992 : Karlsruhe, Germany), Calmet, J., & Campbell, J. A. (1993). Artificial intelligence and symbolic mathematical computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Springer-Verlag.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)International Conference AISMC-1 (1992 : Karlsruhe, Germany), Jacques Calmet, و John A. Campbell. Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Berlin: Springer-Verlag, 1993.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)International Conference AISMC-1 (1992 : Karlsruhe, Germany), et al. Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Springer-Verlag, 1993.