@Article{Koz97, Author = "Kozen, D.", Year = "1997", Title = "{Kleene Algebra with Tests}", Journal = "ACM Transactions on Programming Language Systems", Volume = "19", Number = "3", Pages = "427-443", Comment = "TPTPRef" }