Angel Barriga Barrios Carlos J. Jiménez Manuel Valencia Logic Synthesis. 2008 Wiley Encyclopedia of Computer Science and Engineering http://dx.doi.org/10.1002/9780470050118.ecse227 reference/wiley/2008 db/reference/wiley/wiley2008.html#BarriosJV08