A new look at pattern matching in abstract data types (1996)

by P Palao Gostanza, R Peña, M Núñez
Venue:In ICFP