L. Kálmán, “Strong Compositionality”, Proceedings of the AC, pp. 465–478, Dec. 1995, doi: 10.53437/tmbvaz08.