"OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy" - читать интересную книгу автора (Michael Kohlhase)