Computer design aids for VLSI circuits - Antognetti, P. (Nijhoff, 1986)