The foundations of a theory of data processing (Proceedings of the 1961 16th ACM national meeting on)