Nadia Nedjah Luiza de Macedo Mourelle Efficient Concise Deterministic Pattern-Matching Automata for Ambiguous Patterns. 57-67 2002 37 SIGPLAN Notices 2 db/journals/sigplan/sigplan37.html#NedjahM02