An introduction to computer logic - 434201 Nagle, H. Troy; Irwin, J. David, 1939-; Carrol, B. D. (Englewood Cliffs, NJ : Prentice-Hall, 1975)
16