Fundamentals of Logic Design (2004)