Verification and compliance a problem-solving approach - Umberger; Krepon (Macmillan Press in association with the Carnegie Endowment for International Peace, 1988)