OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy - Michael Kohlhase ((Lecture Notes in Computer Science))