Regular expression pattern matching (2001)

by H Hosoya, B C Pierce
Venue:In ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages (POPL