@Article{Koz00, Author = "Kozen, D.", Year = "2000", Title = "{On Hoare Logic and Kleene Algebra with Tests}", Journal = "ACM Transactions on Computational Logic", Volume = "1", Number = "1", Pages = "60-76", Comment = "TPTPRef" }