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