Chen, Taolue, Tingting Han, and Jian Lu. 2006. “On the Complete Axiomatization for Prefix Iteration Modulo Observation Congruence”. Acta Cybernetica 17 (3), 471-83. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3678.