Sonia C-I Chen, . J. Y. X. T. C. L. . “A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm”. CONVERTER, July 2021, pp. 449-58, doi:10.17762/converter.143.