Discrete mathematics in computer science - Stanat, Donald F. and Mcallister, David F. (Prentice-hall, New Jersey, 1977)