"Modular Rewriting Semantics in Practice."

Christiano Braga, José Meseguer (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics