Discrete mathematical structures for computer science - Prather, Ronald E. (Houghton Mifflin, 1976)