DISCRETE MATHEMATICAL STRUCTURES FOR COMPUTER SCIENCE - KOLMAN BERNARD (N.D. PRENTICE HALL, 1988)