@inproceedings{FS-mfcs08,
   author = {Finkel, Alain and Sangnier, Arnaud}, 
   booktitle = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS'08)},
   pages = {323-334}, 
   publisher = {Springer}, 
   series = {Lecture Notes in Computer Science}, 
   title = {Reversal-bounded Counter Machines Revisited},
   volume = {5162}, 
   year = {2008}, 
}