VDM specification language