Basin, D. A.; Klarlund, N. Hardware Verification Using Monadic Second-Order Logic. BRICS 1995, 2.