An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion.

Martin Gogolla An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion. 2004 conf/dagstuhl/2004P4101 Language Engineering for Model-Driven Software Development http://drops.dagstuhl.de/opus/volltexte/2005/14 db/conf/dagstuhl/P4101.html#Gogolla04