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