Handbook of design automation - Sapiro, Steve (Prentice Hall, 1986)