Discrete mathematics for computer scientists - Truss, J K (Addison-Wesley, 1991)