The bounding approach to VLSI circuit simulation - Zukowski, Charles A. (Kluwer, 1986)