1. Barry Mazur, William Stein, and John Tate, Computation of p-adic heights and log convergence, Doc. Math. (2006), no. Extra Vol., 577–614 (electronic).[MR]