N. Đình Hân, H. N. Vinh, P. T. Huy, and Đỗ L. Vân, “An algorithm for testing whether a regular language is a code”, JCC, vol. 27, no. 1, pp. 1–8, Apr. 2012.