The VIP VDM specification language

This paper is superseded by VVSL : A language for structured VDM specifications.