A new look at pattern matching in abstract data types | Publicación