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