Learning Specifications for Labelled Patterns | Publicación