Computer Aided Logical Design With Emphasis On VLSI - Frederic J Hill, Gerald R Peterson (John Wiley and Sons, 1993)