"Memory Representations in Rewriting Logic Semantics Definitions."

Mark Hills (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics