A new specification in Vdm++