Advanced logic synthesis (Springer, 2008)