. J. Y. X. T. C. L. . Sonia C-I Chen, “A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm”, converter, pp. 449-458, Jul. 2021.