A generic logic environment. - William Mark Grant Dawson (1991)

A Generic Logic Environment. - Mark Dawson 001 (LPAR, 1992)

Animating LU. - Mark Dawson 001 (Theory and Formal Methods, 1993)

Towards a GeoZ Toolkit. - Mark Dawson 001; Steven Vickers (Theory and Formal Methods, 1994)