Thành, H. C. (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