Holger Giese, Barbara K�nig Graph Transformation - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783319091082 Subjects--Index Terms: Discrete Mathematics in Computer Science; Software Engineering; Data Structures; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages