A theory of parameterized pattern matching | Synapse