Keith Duddy, Gerti Kappel Theory and Practice of Model Transformations - 2013 ISBN: 978-3-642-38883-5 Subjects--Topical Terms: Logics and Meanings of ProgramsManagement of Computing and Information SystemsSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science