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