Mathematics for computer science - Arnold (Prentice Hall, 1996)