Síntesis de circuitos digitales : un enfoque algorítmico - Deschamps, Jean-Pierre (Thomson, 2002)