Kolman B. & Busby R.C., Discrete Mathematical Structures for Computer Science, Prentice Hall of India