Switching Theory For Logic Synthesis by Tsutomu Sasao