Polymorphic Systems with Arrays‚ 2−Counter Machines and Multiset Rewriting - Roscoe, A; Lazic, R; Newcomb, T (2004)