OMDoc – an open markup format for mathematical documents : (version 1.2) - Kohlhase, Michael, 1964- (Springer, 2006)