Proceedings of a Symposium on Large-Scale Digital Calculating Machinery Proceedings of a Symposium 7-10 January 1947 (Massachusetts Institute of Technology Cambridge Mass., 1985)