Email Record: Relations and kleene algebra in computer science :