Conditions of a-completeness for linear automata over dyadic rationals
scientific article; zbMATH DE number 7388102