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