Read-only release history for DFA-Kleene