Computer aided logical design with emphasis on VLSI - Hill, Frederick J. (J. Wiley & Sons, 1993)