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