New concepts in nuclear arms control : verified cutoff & verified disposal - Donnelly, Warren H. (Occasional paper, 1990)