fundamentals-of-switching-theory-and-logic-design-springer-2006