Y. Y. He, “Exploring the Boundaries of Formal Specifications of Accounting Language and Understanding of Intelligent Systems”, AEM, vol. 15, no. 3, pp. 5989–5994, Aug. 2026.