Yan He, Liang Feng Zhang: Verifiable Summation of Read-Once Formula Specified Data. IEEE Access 8: 22434-22444 (2020)