@Misc{automaton,
  author =  {Anders M\o{}ller},
  title =   {dk.brics.automaton -- Finite-State Automata
             and Regular Expressions for {Java}},
  note =    {\texttt{http://www.brics.dk/automaton/}},
  year =    2017
}