Discrete Mathematical Structure - Bernard Kolman (Prentice Hall, 2000)