| |
| * | 1993 | |
|---|---|---|
| 2 | Wolfgang Appelt, Nik Tetteh-Lartey: The Formal Specification of the ISO Open Document Architecture (ODA) Standard. Comput. J. 36(3): 269-279 (1993) | |
| 1990 | ||
| 1 | David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey: The Case for Formal Methods in Standards. IEEE Software 7(5): 65-67 (1990) | |
| 1 | Wolfgang Appelt | [2] |
| 2 | David Blyth | [1] |
| 3 | Cornelia Boldyreff | [1] |
| 4 | Clive Ruggles | [1] |