Discrete structures of computer science - Levy, Leon S. (Wiley, 1980)