PROCEEDINGS OF A SYMPOSIUM ON LARGE SCALE DIGITAL COMPUTING MACHINERY, AUGUST 3-5, 1953: Searching Inside