Thành, H. C. “Algorithms for Finding the Normal Form of Traces and Synchronous Traces”. Journal of Computer Science and Cybernetics, vol. 17, no. 1, Aug. 2012, pp. 72-77, doi:10.15625/1813-9663/17/1/2432.