Chen, T., Han, T., & Lu, J. (2006). On the complete axiomatization for prefix iteration modulo observation congruence. Acta Cybernetica, 17(3), 471-483. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3678