OMDoc - An open markup format for mathematical documents [version 1.2] - Kohlhase, Michael (2006)