Andrzej Ehrenfeucht Grzegorz Rozenberg Every Two Equivalent D0L Systems have a Regular True Envelope. 45-52 1980 10 Theor. Comput. Sci. db/journals/tcs/tcs10.html#EhrenfeuchtR80