| |
| 1989 | ||
|---|---|---|
| 2 | Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear: Towards a Formal Semantics of the BS/VDM Specification Language. IFIP Congress 1989: 95-100 | |
| 1987 | ||
| 1 | Brian Q. Monahan: A Type Model for VDM. VDM Europe 1987: 210-236 | |
| 1 | Michael Meincke Arentoft | [2] |
| 2 | Stephen Bear | [2] |
| 3 | Peter Gorm Larsen | [2] |