Thinking machines : a Layman's introduction to logic, Boolean algebra and computers - Adler, Irving (New American Library, 1964)