Ahmed Bouajjani Marius Bozga Peter Habermehl Radu Iosif Pierre Moro Tomás Vojnar Programs with lists are counter automata. 158-192 2011 38 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-011-0111-7 db/journals/fmsd/fmsd38.html#BouajjaniBHIMV11