Proceedings of the 1956 11th ACM national meeting