J. L. Jensen, M. E. Jørgensen, and N. Klarlund, “Monadic Second-order Logic for Parameterized Verification”, BRICS, vol. 1, no. 10, May 1994.