| 1991 | ||
|---|---|---|
| 3 | David Jordan: CADIZ - Computer Aided Design in Z. VDM Europe (1) 1991: 685-686 | |
| 1990 | ||
| 2 | David Jordan, John A. McDermid, Ian Toyn: CADIZ - Computer Aided Design in Z. Z User Workshop 1990: 93-104 | |
| 1 | David Jordan: Implementation Benefits of C++ Language Mechanisms. Commun. ACM 33(9): 61-64 (1990) | |
| 1 | John A. McDermid | [2] |
| 2 | Ian Toyn | [2] |