CS173: Discrete Structures Textbook