Discrete mathematics for computing - Haggarty, Rod (Addison-Wesley, 2002)