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