Berstel, J. The Growth Range Equivalence Problem for D0L Systems Is Decidable. DPB 1975, 4.