Hendriks, H.; Huijsen, W.-O. Completeness of Compositional Translation. Proceedings of the AC 1997, 163-168.