dk/brics/automaton/package-summary.html