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