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