@article {EssenceBX,
	title = {The essence of bidirectional programming},
	journal = {Science China Information Sciences},
	volume = {58},
	number = {5},
	year = {2015},
	note = {n/a},
	pages = {1{\textendash}21},
	publisher = {Science China Press},
	abstract = {n/a},
	url = {publications/essencebx.pdf},
	author = {Fischer, S. and Hu, Z. and Hugo Pacheco}
}