Control but verify verification and the new non-proliferation agenda (Centre for International and Strategic Studies, York Univ., 1994)