Cocmputer design aids for VLSI circuits - Antognetti, P (Sijthoff, 1981)