Proceedings of the ACM-IEEE design automation workshop : JUNE 26-28, 1972, DALLAS TEXAS. (New York : ACM,Inc., 1972)