Discrete Structuress of Computer Science - LEVY, Leon S. (John Wiley & Sons, 1980)