@inproceedings{FLS-ILC09,
   author = {Finkel, Alain and Lozes, {\'E}tienne and Sangnier, Arnaud},
   booktitle = {Infinity in Logic and Computation},
   title = {Towards Model-Checking Programs with Lists},
   year = {2009},
publisher = {Springer}, 
   series = {Lecture Notes in Artificial Intelligence}, 
   volume = {5489}, 
   year = {2009},
pages={56-86}  
}