1. Comley, C. et al. Confidence, Security & Verification: the Challenge of Global Nuclear Weapons Arms Control Atomic Weapons Establishment (2000).
2. National Academy of Sciences CISAC, Monitoring Nuclear Weapons and Nuclear-Explosive Materials: an Assessment of Methods and Capabilities National Academies Press (2005).
3. Stone, R. Not-seeing is believing. Science 344, 1436–1437 (2014).
4. Spears D. (ed.) Technology R&D for Arms Control US Department of Energy, Office of Nonproliferation Research and Engineering (2001).
5. Evans, N. Software Development and Authentication for Arms Control Information Barriers. In FM 2015: formal Methods 581–584Springer International Publishing (2015).