Springer Comprehensive Mathematics for Computer Science 2