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