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)

Generation of Proof Obligations for Type Consistency. - Flemming M. Damm; Bo Stig Hansen (Semantics of Specification Languages, 1993)

Subtyping with Union Types, Intersection Types and Recursive Types. - Flemming M. Damm (TACS, 1994)