An Approach to the Static Semantics of VDM-SL. - Hans Bruun; Bo Stig Hansen; Flemming M. Damm (VDM Europe (1), 1991)

The VDM-SL Editor and Consistency Checker. - Flemming M. Damm; Hans Bruun; Bo Stig Hansen (VDM Europe (1), 1991)

On Type Checking in VDM and Related Consistency Issues. - Flemming M. Damm; Bo Stig Hansen; Hans Bruun (VDM Europe (1), 1991)

Distributive Lattice-Structured Ontologies. - Hans Bruun; Dion Coumans; Mai Gehrke (CALCO, 2009)