VDM Basic Structure