Handbook of design automation - Sapiro, Steve; Smith, Robert J. (Prentice-Hall, 1986)