Email Record: Relational and Kleene-algebraic methods in computer science :