Shieber, S. M. Bimorphisms and Synchronous Grammars. JLM 2014, 2, 51–104.