@conference {validityPut,
	title = {Validity Checking of Putback Transformations in Bidirectional Programming (Invited paper)},
	booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM 2014)},
	year = {2014},
	note = {n/a},
	pages = {1{\textendash}15},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	abstract = {n/a},
	url = {publications/fm14.pdf},
	author = {Hu, Z. and Hugo Pacheco and Fischer, S.}
}