Hitoshi Furusawa: The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions. RelMiCS 2003: 124-136