@inproceedings{BX-2014-GrohneLV,
	author        = "Helmut Grohne and Andres Löh and Janis Voigtländer",
	booktitle     = "{Proceedings of the Third International Workshop on Bidirectional Transformations}",
	ee            = "http://ceur-ws.org/Vol-1133/paper-12.pdf",
	pages         = "75--81",
	title         = "{Formalizing Semantic Bidirectionalization with Dependent Types}",
	year          = 2014,
}