A visual representation of mathematical expressions. Plenum Press, 1998. M. Holcombe, A. Stratton, S. Fincher, G. Griffiths, Springer, 1998. M. Holcombe, A. Stratton, S. Fincher, G. Griffiths, Springer, 1998. Plenum Press, 1998.
Comprehension exercises - a new type of examination question.
Using Graphical Icons to Build Z Specifications. Notes on Machine-based testing. Draft version of the above paper. When testing is done. Almost all software testing is futile.