Algorithms for finding the normal form of traces and synchronous traces - Thành, Hoàng Chí (Journal of Computer Science and Cybernetics, 2012)