H. Hendriks and W.-O. Huijsen, “Completeness of Compositional Translation”, Proceedings of the AC, pp. 163–168, Dec. 1997, doi: 10.53437/6k264193.