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