Chistikov, Dmitry Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2014/4854 (Any fulltext)
Chistikov, D. (2014). Notes on Counting with Finite Machines. In V. Raman, & S. P. Suresh (Eds.), 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (pp. 339-350). Wadern: Schloß Dagstuhl. doi:10.4230/LIPIcs.FSTTCS.2014.339.