Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories | Fundamenta Informaticae | DeepDyve