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