Efficient automata-driven pattern-matching for equational programming (1999)

by N Nedjah, C D Walter, S E Eldridge
Venue:Software-Practice and Experience