Koepf, Wolfram A. and Larcombe, Peter J., “The sum 16nΣ2nk=04k( 1/2k)(-1/2k)(-2k 2n-k): A computer assisted proof of its closed form, and some generalised results”, A Canadian journal of applied mathematics, computer science and statistics, vol. 79, Jun. 2009.