Thành, H.C. 2012. Algorithms for finding the normal form of traces and synchronous traces. Journal of Computer Science and Cybernetics. 17, 1 (Aug. 2012), 72–77. DOI:https://doi.org/10.15625/1813-9663/17/1/2432.