"An action semantics for MOF 2.0."

Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics