OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy - Kohlhase, Michael (Springer Berlin Heidelberg, 2006)