| |
| 1994 | ||
|---|---|---|
| 3 | Mark Dawson, Steven Vickers: Towards a GeoZ Toolkit. Theory and Formal Methods 1994: 365-380 | |
| 1993 | ||
| 2 | Mark Dawson: Animating LU. Theory and Formal Methods 1993: 70-81 | |
| 1992 | ||
| 1 | Mark Dawson: A Generic Logic Environment. LPAR 1992: 466-468 | |
| 1 | Steven J. Vickers (Steven Vickers) | [3] |