Janusz A. Brzozowski Elyot Grant Jeffrey Shallit Closures in Formal Languages: Concatenation, Separation, and Algorithms http://arxiv.org/abs/0901.3763 2009 CoRR abs/0901.3763 db/journals/corr/corr0901.html#abs-0901-3763 informal publication