D. A. Basin og N. Klarlund, “Hardware Verification using Monadic Second-Order Logic”, BRICS, bd. 2, nr. 7, jan. 1995.