Thành, Hoàng Chí. 2012. “Algorithms for Finding the Normal Form of Traces and Synchronous Traces”. Journal of Computer Science and Cybernetics 17 (1):72-77. https://doi.org/10.15625/1813-9663/17/1/2432.