Parosh Aziz Abdulla: Forcing Monotonicity in Parameterized Verification: From Multisets to Words. SOFSEM 2010: 1-15