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