Discrete mathematics for computer scientists. - Truss J K (2000)