Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
scientific article; zbMATH DE number 1857210