11th design automation workshop, June 17-19, 1974, Denver, Colorado : proceedings (Institute of Electrical and Electronics Engineers Inc, 1974)