Thành, Hoàng Chí. “Algorithms for Finding the Normal Form of Traces and Synchronous Traces”. <i>Journal of Computer Science and Cybernetics</i> 17, no. 1 (August 1, 2012): 72–77. Accessed November 4, 2025. https://jcc.vast.vn/jcc/article/view/2432.