Design of Logic Systems - Lewin, Douglas (Van Nostrand Comp., 1985)