L. F. Mathison. Information handling in an arms control inspection and verification environment. In James D. Tupac, editor, Proceedings of the 1963 fall joint computer conference, AFIPS 1963 (Fall), Las Vegas, Nevada, USA, November 12-14, 1963. pages 529-533, ACM, 1963. [doi]