1. M.-P. Béal, O. Carton, C. Prieur and J. Sakarovitch, Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers, inProc. of LATIN 2000, edited by G. Gonnet, D. Panario and A. Viola. Springer,Lect. Notes Comput. Sci.1776(2000) 397-406.
2. J. Berstel,Transductions and Context Free Languages. Teubner Verlag (1979).
3. J.R. Büchi, On a Decision Method in Restricted Second Order Arithmetic, Logic Methodology and Philosophy of Science, inProc. 1960 Int. Congr.Stanford University Press (1962) 1-11.
4. Une caracterisation des fonctions sequentielles et des fonctions sous-sequentielles en tant que relations rationnelles
5. C. Choffrut and S. Grigorieff,Uniformization of Rational Relations, Jewels are Forever, edited by J. Karhumäki, H. Maurer, G. Paun and G. Rozenberg. Springer (1999) 59-71.