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