@inproceedings{Bidirectionalisation2014,
	author = "Vadim Zaytsev",
	title = "{Case Studies in Bidirectionalisation}",
	booktitle = "{Pre-proceedings of the 15th International Symposium on Trends in Functional Programming (TFP 2014)}",
	year = 2014,
	pages = "51--58",
	month = may,
	note = "Extended Abstract",
	url = "http://www.cs.uu.nl/people/jur/preproceedingstfp2014.pdf",
}