Waga, M. HypPAu — HYPer Pattern matching with AUtomata [Computer software]. https://github.com/MasWag/hyppau