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