Author: NATO Advanced Study Institute on "Logic Synthesis and Silicon Compilation for VLSI Design" (1986 L'Aquila, Italy)