Advanced logic synthesis (Cham, Switzerland Springer, 2008)