Discrete mathematics for computer science - Shiflet, Angela B. (West Pub. Co., 1987)