Jensen, J. L., Jørgensen, M. E., & Klarlund, N. (1994). Monadic Second-order Logic for Parameterized Verification. BRICS Report Series, 1(10). https://doi.org/10.7146/brics.v1i10.21660