Kim YS, Rathie AK, , Wang X.  $\pi$ and other formulae implied by hypergeometric summation theorems.  Commun. Korean Math. Soc. 2015;30:227-237.  https://doi.org/10.4134/CKMS.2015.30.3.227