Introduction to digital electronic - HAJEK (Delmer, 1986)