Christensen, A. S.; Møller, A.; Schwartzbach, M. I. Precise Analysis of String Expressions. BRICS 2003, 10.