Introducción al diseño lógico digital - Hayes, John (Addison-Wesle, 1996)