OMDoc -- an open markup format for mathematical documents [version 1.2] : foreword by Allan Bundy - Kohlhase, Michael, 1964- (Lecture notes in artificial intelligence ;, 2006)