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