Colo.) SHARE-ACM-IEEE Design Automation Workshop (11th 1974 Denver