No-First-Use and Nonproliferation: Redefining Extended Deterrence - George H. Quester, Victor A. Utgoff (MIT Press, 1994)