Margareta Ackerman Erkki Mäkinen Three New Algorithms for Regular Language Enumeration. 178-191 2009 COCOON http://dx.doi.org/10.1007/978-3-642-02882-3_19 conf/cocoon/2009 db/conf/cocoon/cocoon2009.html#AckermanM09