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