Luca Aceto, Anna Ingólfsdóttir. An Equational Axiomatization of Observation Congruence for Prefix Iteration. In Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings. Volume 1101 of Lecture Notes in Computer Science, pages 195-209, Springer, 1996.
Abstract is missing.