Bruno Lang Verified Quadrature in Determining Newton's Constant of Gravitation. 16-24 1998 4 J. UCS 1 db/journals/jucs/jucs4.html#Lang98 http://www.jucs.org/jucs_4_1/verified_quadrature_in_determining