Proceedings of a Symposium on Large-Scale Calculating Machinery jointly sponsored by The Navy Department Bureau of Ordance and Harvard University, 7-10 January 1947 (The MIT Press, 1948)