Design of Logic Systems - "Lewin, Douglas" (Chapman & Hall LONDON, 1991)