Verification and conventional arms reductions (Internat. Security Program, American Acad. of Arts and Sciences, 1990)