Basin, David A., og Nils Klarlund. “Hardware Verification Using Monadic Second-Order Logic”. BRICS Report Series 2, no. 7 (januar 7, 1995). Set oktober 14, 2026. https://tidsskrift.dk/brics/article/view/19509.