Switching Theory For Logic Synthesis door Tsutomu Sasao