A Static Analysis of the NAG Library | IEEE Journals & Magazine | IEEE Xplore