J. Berstel, “The Growth Range Equivalence Problem for D0L Systems is Decidable”, DPB, vol. 4, no. 50, Aug. 1975.