@article{hofmann2013edit,
  title={Edit languages for information trees},
  author={Hofmann, Martin and Pierce, Benjamin and Wagner, Daniel},
  journal={Electronic Communications of the EASST},
  volume={57},
  year={2013}
}