Certification of Algorithm 13: Complex exponential integral. - P. J. Rader; Henry C. Thacher Jr. (Commun. ACM, 1961)