Refinement and Consistency in Multiview Models
H. Wehrheim, in: J. B\rquote ezivin, R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.