Milad Niqui, Jan J. M. M. Rutten. A proof of Moessner's theorem by coinduction. Higher-Order and Symbolic Computation, 24(3):191-206, 2011. [doi]
@article{NiquiR11, title = {A proof of Moessner's theorem by coinduction}, author = {Milad Niqui and Jan J. M. M. Rutten}, year = {2011}, doi = {10.1007/s10990-012-9082-7}, url = {http://dx.doi.org/10.1007/s10990-012-9082-7}, researchr = {https://researchr.org/publication/NiquiR11}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {24}, number = {3}, pages = {191-206}, }