Møller, Anders, and Michael I. Schwartzbach. “The Pointer Assertion Logic Engine”. BRICS Report Series 7, no. 39 (June 9, 2000). Accessed May 6, 2024. https://tidsskrift.dk/brics/article/view/20205.