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