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