Discrete mathematics in computer science - Stanat, Donald F. (Prentice Hall, 1977)