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