"Pattern-matching and rewriting rules for group indexed data structures."

Jean-Louis Giavitto, Olivier Michel (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics