Nielsen, M. On the Decidability of Some Equivalence Problems for D0L-Systems. DPB 1973, 2.