Kálmán, L. Strong Compositionality. Proceedings of the AC 1995, 465-478.