Thành, H. C. Algorithms for Finding the Normal Form of Traces and Synchronous Traces. J. Comput. Sci. Cybern. 2012, 17, 72-77.