Mathematics for computer science - Arnold, André; Guessarian, Irène (Prentice Hall, 1996)