Stav dette: Discrete mathematics for computing / A. Vince and C. Morris.