Advanced Logic Synthesis - Reis, André Inácio (Springer International Publishing, 2018)