A. S. Christensen, A. Møller, and M. I. Schwartzbach, “Precise Analysis of String Expressions”, BRICS, vol. 10, no. 5, Jan. 2003.