Fundamentos de diseño lógico - Roth, Charles H. (Thomson, 2005)