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