Discrete mathematics an introduction for software engineers - Piff, Mike (Cambridge Univ. Press, 1996)