Zoltán Ésik, Werner Kuich. A Generation of Kozen s Axiomatization of the Equational Theory of the Regular Sets. In Masami Ito, Gheorghe Paun, Sheng Yu, editors, Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin. pages 99-114, World Scientific, 2001.
Abstract is missing.