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”. Utilitas Mathematica, vol. 79, June 2009, https://utilitasmathematica.com/index.php/Index/article/view/617.