Proceedings of the 1952 ACM national meeting (Pittsburgh)