Christensen, Aske Simon, Anders Møller, and Michael I. Schwartzbach. 2003. “Precise Analysis of String Expressions”. BRICS Report Series 10 (5). https://doi.org/10.7146/brics.v10i5.21776.