@inbook {1502,
	title = {Some Higher Order Functions on Binary Relations},
	booktitle = {Formal Grammar},
	volume = {8036},
	number = {Lecture Notes in Computer Science},
	year = {2013},
	pages = {277{\textendash}291},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	address = {Berlin},
	author = {Zuber, Richard},
	editor = {Morrill, Glyn and Nederhof, Mark-Jan}
}
