Chen Taolue; Han Tingting; Lu Jian: On the complete axiomatization for prefix iteration modulo observation congruence. In: Acta cybernetica, (17) 3. pp. 471-483. (2006)