Thorsten Ehm: Pointer Kleene Algebra. RelMiCS 2003: 99-111