- CSB - MetaPress - Google - Bing - Yahoo
 | 1989 | |
|---|---|---|
| 1 |      | 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 |
| 1 | Stephen Bear | [1] |
| 2 | Peter Gorm Larsen | [1] |
| 3 | Brian Q. Monahan | [1] |