Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch. Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
4th Latin American Theoretical INformatics (LATIN'2000), Apr 2000, Punta del Este, Uruguay, Uruguay. pp.407-416.
⟨hal-00619851⟩