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