S. M. Shieber, “Bimorphisms and synchronous grammars”, JLM, vol. 2, no. 1, pp. 51–104, Jul. 2014.