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