1. Barzdinand, Y.M., Trakhtenbrot, B.A.: Finite Automata, Behaviour and Synthesis, Nauka, Moscow, 1970 (English translation). North Holland, Amsterdam (1973)
2. Lecture Notes in Computer Science;M.-P. Bal,2000
3. Béal, M.-P., Carton, O., Prieur, C., Sakarovitch, J.: Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality. Theoretical Computer Science 292(1), 45–63 (2003)
4. Berstel, J.: Transductions and Context Free Languages. Teubner Verlag (1979)
5. Büchi, J.R.: On a Decision Method in Restricted Second Order Arithmetic, Logic Methodology and Philosophy of Science. In: Proc. 1960 Int. Congr., pp. 1–11. Stanford University Press (1962)