Møller, Anders, og Michael I. Schwartzbach. “The Pointer Assertion Logic Engine”. BRICS Report Series 7, no. 39 (juni 9, 2000). Set juli 18, 2024. https://tidsskrift.dk/brics/article/view/20205.