Jensen, J. L.; Jørgensen, M. E.; Klarlund, N. Monadic Second-Order Logic for Parameterized Verification. BRICS 1994, 1.