@misc{indiciaedfc8b09cadfe,
  title = {The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics},
  author = {Makoto Hamana and Kazutaka Matsuda and Kazuyuki Asada},
  year = {2016},
  url = {https://arxiv.org/abs/1511.08851},
  note = {Source identifier: 1511.08851}
}