T. Chen, T. Han, and J. Lu, “On the complete axiomatization for prefix iteration modulo observation congruence”, Acta Cybern, vol. 17, no. 3, pp. 471–483, Jan. 2006.