Basin, David A., and Nils Klarlund. “Hardware Verification Using Monadic Second-Order Logic”. BRICS Report Series 2, no. 7 (January 7, 1995). Accessed December 5, 2025. https://tidsskrift.dk/brics/article/view/19509.