Christensen, A. S., Møller, A. and Schwartzbach, M. I. (2003) “Precise Analysis of String Expressions”, BRICS Report Series, 10(5). doi: 10.7146/brics.v10i5.21776.