Discrete mathematics for computer scientists - Truss, J K (Pearson education Asia, 1999)