H. C. Thành, “Algorithms for finding the normal form of traces and synchronous traces”., JCC, vol. 17, no. 1, pp. 72–77, Aug. 2012.