@article{BX-2013-HofmannPW,
	author        = "Martin Hofmann and Benjamin C. Pierce and Daniel Wägner",
	ee            = "http://journal.ub.tu-berlin.de/eceasst/article/view/872",
	journal       = "{Electronic Communications of the EASST}",
	pages         = "76--89",
	title         = "{Edit languages for information trees}",
	volume        = 57,
	year          = 2013,
}