The Art of Computer Programming 2. Seminumerical Algorithms