Thành, Hoàng Chí. “Algorithms for Finding the Normal Form of Traces and Synchronous Traces”. Journal of Computer Science and Cybernetics 17, no. 1 (August 1, 2012): 72–77. Accessed April 12, 2025. https://vjs.ac.vn/index.php/jcc/article/view/2432.