Discrete mathematics : an introduction for software engineers - Piff, Mike (Cambridge University Press, 1991)