Sonia C-I Chen, Junwei Yang, Xiangkun Tong, Chenglian Liu,. “A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm”. CONVERTER (July 10, 2021): 449-458. Accessed May 22, 2026. http://converter-magazine.info/index.php/converter/article/view/143.