Contemporary logic design - Katz, Randy H. (1994)