| 1990 | ||
|---|---|---|
| 3 | David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey: The Case for Formal Methods in Standards. IEEE Software 7(5): 65-67 (1990) | |
| 1988 | ||
| 2 | Clive Ruggles: Towards a Formal Definition of GKS and other Graphic Standards. VDM Europe 1988: 64-73 | |
| 1 | Clive Ruggles: Formal Methods in Standards - A Report from the BCS Working Group. VDM Europe 1988: 79-85 | |
| 1 | David Blyth | [3] |
| 2 | Cornelia Boldyreff | [3] |
| 3 | Nik Tetteh-Lartey | [3] |