Discrete mathematics for computer scientists. - Truss, John (Addison-Wesley, 1991)