Loose Specification and Its Semantics. - Morten Wieth (IFIP Congress, 1989)

A Naive Domain Universe for VDM. - Andrzej Tarlecki; Morten Wieth (VDM Europe, 1990)