Discrete structures of computer science - Levy, Leon S (John Wiley and Sons, 1980)