M. Hofmann, B. Pierce, and D. Wagner, “Edit languages for information trees”, eceasst, vol. 57, Sep. 2013.