Hill, Frederick J. and Gerald R. Peterson. Computer aided logical design with emphasis on VLSI. Includes bibliographical references and index. 4th ed edition. New York: John Wiley & Sons Inc., 1993.