| |
| * | 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 | Ronald Huijsman | [1] |
| 2 | Jan van Katwijk | [1] |
| 3 | Nico Plat | [1] |
| 4 | Cornelis Pronk (Kees Pronk) | [1] |
| 5 | Hans Toetenel (W. J. Toetenel) | [1] |