A. S. Christensen, A. Møller, og M. I. Schwartzbach, “Precise Analysis of String Expressions”, BRICS, bd. 10, nr. 5, jan. 2003.