Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo  Hierarchical design rewriting with Maude.  Electronic Notes in Theoretical Computer Science, 238 (3).  pp. 45-62.  ISSN 1571-0661      (2009)