: Publications.
The list of publications about MathSpad is still short, but is expected to grow in the future.
MathSpad: Ergonomic Document Preparation
, the manual for the system. (compressed PostScript, 410 Kbyte).
MathSpad: Tool Support for the Calculational Method
(compressed PostScript, 77 Kbyte).
To the MathSpad homepage
Richard Verhoeven
and
Roland Backhouse
.