ŘEHŮŘEK, Radim a
Petr SOJKA. Automated Classification and Categorization of Mathematical Knowledge. In
Intelligent Computer Mathematics: AISC/Calculemus/MKM LNAI 5144. první. Berlin, Heidelberg, New York: Springer-Verlag, 2008, s. 543-557. ISBN 978-3-540--85109-7.