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