Contemporary Logic Design - Katz, Randy M. (New Delhi: Pearson, 2005)