Symposium on Computer Augmentation of Human Reasoning (1964 Washington, D.C.)