Proceedings of the SHARE-ACM-IEEE : design automation workshop : JUNE 22-25, 1970 SAN FRANCISCO, CALIFORNIA. (London : Institute of Electrical and Electronics Engineers Inc., 1970)