@inproceedings{BX-2008-Voigtlaender1,
	address       = "Shonan, Japan",
	author        = "Janis Voigtländer",
	booktitle     = "{Proceedings of the GRACE International Meeting on Bidirectional Transformations}",
	editor        = "Krzysztof Czarnecki and J. Nathan Foster and Zhenjiang Hu and Ralf Lämmel and Andy Schürr and James F. Terwilliger",
	month         = "dec",
	pages         = "30",
	title         = "{Free Theorems and Bidirectional Transformations}",
	year          = 2008,
}