Leslie G. Valiant The Equivalence Problem for D0L Systems and its Decidability for Binary Alphabets. 31-37 1976 ICALP db/conf/icalp/icalp76.html#Valiant76