OMDoc -- an open markup format for mathematical documents : (version 1.2) - Kohlhase, Michael, 1964- (Lecture notes in computer science ;, 2006)