Basin, D. A. and Klarlund, N. (1995) “Hardware Verification using Monadic Second-Order Logic”, BRICS Report Series, 2(7). doi: 10.7146/brics.v2i7.19509.