Johannes Bubenzer: Minimization of Acyclic DFAs. PSC 2011: 132-146