Nr. 20 (1973): PB-20 On the Decidability of some Equivalence Problems for D0L-Systems