Title: Theory and Practice of Model Transformations
Subjects: Mathematical Logic and Formal Languages, Logic design, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Computer networks, Computer Communication Networks