Language convergence in controlled discrete-event systems. - Yosef M. Willner; Michael Heymann (IEEE Trans. Autom. Control., 1995)