Discrete Mathematics in Computer Science - Stanat, Donald F.; McAllister, David F. (Prentice Hall, 1977)