Chen, T. et al. 2006. On the complete axiomatization for prefix iteration modulo observation congruence. Acta Cybernetica. 17, 3 (Jan. 2006), 471–483.