An algebraic semantics for MOF

Artur Boronat, José Meseguer. An algebraic semantics for MOF. Formal Asp. Comput., 22(3-4):269-296, 2010. [doi]

Abstract

Abstract is missing.