Design of logic systems - Lewin, Douglas (Van Nostrand Reinhold, 1985)