Verification and arms control
Gower
1985