Peter G. Behrenz Certification of algorithm 31: gamma function. 38 1963 6 Commun. ACM 1 http://doi.acm.org/10.1145/366193.366231 db/journals/cacm/cacm6.html#Behrenz63