Towards a Formal Semantics of the BS/VDM Specification Language. - Peter Gorm Larsen; Michael Meincke Arentoft; Brian Q. Monahan; Stephen Bear (IFIP Congress, 1989)