Mathematical knowledge management : 4th International conference, MKM 2005, Bremen, Germany, July 15-17, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.
Kohlhase M. OMDoc - an open markup format for mathematical documents [version 1.2] / M. Kohlhase, 2006 r=on-line