| |
| * | 1993 | |
|---|---|---|
| 2 | EE | K. Brink, Ronald Huijsman, Jan van Katwijk: SEAL A simple language for prototyping action-event specifications. Microprocessing and Microprogramming 38(1-5): 87-95 (1993) |
| 1990 | ||
| 1 | EE | Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel: Type Checking BSI/VDM-SL. VDM Europe 1990: 399-425 |
| 1 | K. Brink | [2] |
| 2 | Jan van Katwijk | [1] [2] |
| 3 | Gertjan van Oosten | [1] |
| 4 | Nico Plat | [1] |
| 5 | Cornelis Pronk (Kees Pronk) | [1] |
| 6 | Hans Toetenel (W. J. Toetenel) | [1] |