Artificial intelligence and symbolic mathematical computing : сборник научных трудов / Сост.: J. Calmet, J. A. Campbell, 1993. - 305 p. - Текст : непосредственный.
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006: proceedings / ed. J. Calmet [et al.], 2006 r=on-line. - Текст : электронный.
Mathematical methods in computer science : essays in memory of Thomas Beth / ed. J. Calmet, 2008 r=on-line. - Текст : электронный.