Hing Leung Limitedness Theorem on Finite Automata with Distance Functions: An Algebraic Proof. 137-145 1991 81 Theor. Comput. Sci. 1 db/journals/tcs/tcs81.html#Leung91