An introduction to logical design of digital circuits - Reeves, C. M. (Univ. Pr., 1972)