Discrete mathematics for computer scientists. - Mott, Joe L.; Baker, P.Theodore; Kandel, Abraham