Basin, David A., and Nils Klarlund. 1995. “Hardware Verification Using Monadic Second-Order Logic”. BRICS Report Series 2 (7). https://doi.org/10.7146/brics.v2i7.19509.