He, Y. Y. Exploring the Boundaries of Formal Specifications of Accounting Language and Understanding of Intelligent Systems. AEM 2026, 15, 5989-5994.