Hitoshi Furusawa: A Framework for Kleene Algebra with an Embedded Structure. RelMiCS 2005: 96-107