Sonia C-I Chen, Junwei Yang, Xiangkun Tong, Chenglian Liu,. 2021. “A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm”. CONVERTER, July, 449-58. https://doi.org/10.17762/converter.143.