Zuber, Richard. "Some Higher Order Functions on Binary Relations." In Formal Grammar, edited by Glyn Morrill and Mark-Jan Nederhof, 277-291. Vol. 8036. Berlin: Springer-Verlag, 2013.