Christensen, Aske Simon, Anders Møller, and Michael I. Schwartzbach. “Precise Analysis of String Expressions”. BRICS Report Series 10, no. 5 (January 6, 2003). Accessed January 10, 2026. https://tidsskrift.dk/brics/article/view/21776.