An introduction to computer logic - Nagle, H. Troy, Jr (Prentice Hall, 1975)