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 May 5, 2024. https://tidsskrift.dk/brics/article/view/21776.