Nielsen, M. (1973) “On the Decidability of some Equivalence Problems for D0L-Systems”, DAIMI Report Series, 2(20). doi: 10.7146/dpb.v2i20.6439.