Proceedings of the Fourth Annual Symposium on Switching Circuit Theory and Logical Design (swct 1963)