Franciso Durán

Rewriting Logic and Its Applications