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