DISCRETE MATHEMATICAL STRUCTURES FOR COMPUTER SCIENCE - Kolman, Bernard (Prentice-Hall, 1984)