M. Nielsen, “On the Decidability of some Equivalence Problems for D0L-Systems”, DPB, vol. 2, no. 20, Dec. 1973.