On Type Checking in VDM and Related Consistency Issues.

Flemming M. Damm, Bo Stig Hansen, Hans Bruun

Browse the full FM paper archive.