HANDBOOK OF DESIGN AUTOMATION - Sapiro, Steve (Prentice-Hall International, 1986)