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