The systematic reduction of VDM specifications