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