Chen, T., Han, T. and Lu, J. 2006. On the complete axiomatization for prefix iteration modulo observation congruence. Acta Cybernetica. 17, 3 (Jan. 2006), 471-483.