Honkala, 2002. The Equivalence Problem for DF0L Languages and Power Series 65.. https://doi.org/10.1006/jcss.2002.1850