1. Berstel, J., Reutenauer, C.: Rational Series and Their Languages. Springer, Heidelberg (1988)
2. Büchi, J.R.: On a decision method in restricted second order arithmetics. In: Proc. Intern. Congress on Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press, Stanford (1962)
3. Lecture Notes in Computer Science;K. Chatterjee,2008
4. Lecture Notes in Computer Science;K. Chatterjee,2009
5. Chatterjee, K., Doyen, L., Henzinger, T.A.: Expressiveness and closure properties for quantitative languages. In: 24th LICS 2009, pp. 199–208. IEEE Comp. Soc. Press, Los Alamitos (2009)