Fundamentals of Algebraic Graph Transformation - Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Information theory; Logic design; Algebra -- Data processing; Computer Science; Theory of Computation; Computation by Abstract Devices; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Models and Principles